Nondeterminism versus determinism of finite automata over directed acyclic graphs.
An application of the Ehrenfeucht-Fraisse game in formal language theory
The Theory of Successor with an Extra Predicate.
A note on undecidable extensions of monadic second order successor arithmetic.
Safety- and liveness-properties in propositional temporal logic: characterizations and decidability
On frontiers of regular trees
Page 1