| ||||
| ||||
![]() Title:On the Unusual Effectiveness of Automata in Logic Authors:Pierre Wolper Conference:VardiFest22 Tags:complexity, decidability, finite automata, logic and temporal logic Abstract: This talk intends to take the listener along a path weaving a picture from threads of science, history and personal details. It is about connections, connections between theories, between people, between names and places. It is about the beauty and effectiveness of theories and of the individual random walks from which they emerge. On the Unusual Effectiveness of Automata in Logic ![]() On the Unusual Effectiveness of Automata in Logic | ||||
Copyright © 2002 – 2025 EasyChair |