Finite Automata, Their Algebras and Grammars: Towards a Theory of Formal Expressions von Büchi, J. Richard, Siefkes, Dirk

Volltext

Decidable Theories II: The Monadic Second Order Theory of All Countable Ordinals von Büchi, J. Richard, Siefkes, Dirk, Müller, G. H, Siefkes, D

Volltext

Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory von Richard Büchi†, J., Senger, Steven

Volltext

Coding in the existential theory of concatenation von Büchi, J. Richard, Senger, Steven

Volltext

Finite automata, their algebras and grammars: towards a theory of formal expressions von Buchi, J. Richard, Siefkes, Dirk

Volltext

Regular canonical systems von Richard Büchi, J.

Volltext

Jordan circuits of a graph von Richard Büchi, J, Haggard, Gary

Volltext

Definability in the monadic second-order theory of successor von Richard Buchi, J., Landweber, Lawrence H.

Volltext

The monadic second order theory of ω1 von Büchi, J. Richard

Volltext

Axiomatization of the monadic second order theory of ω1 von Büchi, J. Richard, Siefkes, Dirk

Volltext

Investigation of the equivalence of the axiom of choice and Zorn's lemma from the viewpoint of the hierarchy of types von Buchi, J Richard

Volltext

Using determinancy of games to eliminate quantifiers von Buchi, J. Richard

Volltext

State-strategies for games in Fσδ ∩ Gδσ von Büchi, J. Richard

Volltext

State-strategies for games in Fdelta ï G von BÜCHI, J RICHARD

Volltext

State-Strategies for Games in $F_{\sigma\delta} \bigcap G_{\delta\sigma} von Buchi, J. Richard

Volltext

Weak Second-Order Arithmetic and Finite Automata von Büchi, J. Richard

Volltext

DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω2 von Büchi, J. Richard, Zaiontz, Charles

Volltext

THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS von Büchi, J. Richard, Siefkes, Dirk

Volltext

DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω 2 von Büchi, J. Richard, Zaiontz, Charles

Volltext

Conclusion von Büchi, J. Richard

Volltext