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

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

Volltext

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

Volltext

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

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

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

Volltext

Solving Sequential Conditions by Finite-State Strategies von Buchi, J. Richard, Landweber, Lawrence H.

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

Large convex sets in oriented matroids von Buchi, J.Richard, Fenton, William E

Volltext

Solving Sequential Conditions by Finite-State Strategies von Buchi, J. Richard, Landweber, Lawrence H.

Volltext

Regular canonical systems von Richard Büchi, J.

Volltext

Review: Alonzo Church, Logic, Arithmetic, and Automata von Buchi, J. Richard

Volltext

The Basic Concepts of Mathematics . Karl Menger. Chicago: The Bookstore, Illinois Institute of Technology, 1957. Pp. 93 von Buchi, J. Richard

Volltext

Review: Hugo Ribeiro, A Remark on Boolean Algebras with Operators von Buchi, J. Richard

Volltext

Review: Louise H. Chin, Alfred Tarski, Distributive and Modular Laws in the Arithmetic of Relation Algebras von Buchi, J. Richard

Volltext

Review: Bjarni Jonsson, Alfred Tarski, Boolean Algebras with Operators von Buchi, J. Richard

Volltext

TURING-MACHINES AND THE ENTSCHEIDUNGSPROBLEM von BUCHI,J. RICHARD

Volltext bestellen

REGULAR CANONICAL SYSTEMS AND FINITE AUTOMATA von BUCHI, J. RICHARD

Volltext bestellen