The Theory of Ends, Pushdown Automata, and Second-Order Logic.
David E. MullerPaul E. SchuppPublished in: Theor. Comput. Sci. (1985)
Keyphrases
- formal theory
- set theory
- higher order
- boolean algebra
- proof theory
- logic programming
- formal logic
- computer algebra
- commonsense reasoning
- mathematical theory
- cellular automata
- multi valued
- logical framework
- general theory
- automated reasoning
- information theory
- computational model
- nonmonotonic logics
- high order
- model checking
- first order logic
- theoretical framework