Relativizations for the Logic-Automata Connection.
Nils KlarlundPublished in: High. Order Symb. Comput. (2005)
Keyphrases
- cellular automata
- classical logic
- databases
- finite state
- lattice gas
- database
- proof theory
- predicate logic
- logical framework
- modal logic
- probability theory
- multi valued
- finite state machines
- computational properties
- set theory
- finite automata
- programming language
- asynchronous circuits
- hidden markov models
- delay insensitive
- website