J. Richard Buchi

Available identifiers

zbMath Open buchi.j-richardDBLP05/1329WikidataQ92672 ScholiaQ92672MaRDI QIDQ1086572

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4692772	1993-06-05	Paper
https://portal.mardi4nfdi.de/entity/Q3995303	1993-01-23	Paper
Large convex sets in oriented matroids	1988-01-01	Paper
Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory	1988-01-01	Paper
Coding in the existential theory of concatenation	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3219105	1984-01-01	Paper
THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS	1983-01-01	Paper
DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω2	1983-01-01	Paper
State-strategies for games in F_σδ ∩ G_δσ	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4143272	1977-01-01	Paper
The monadic second order theory of all countable ordinals	1973-01-01	Paper
Definibility in normal theories	1973-01-01	Paper
Variations on a theme of cantor in the theory of relational structures	1973-01-01	Paper
Model Theoretic Approaches to Definability	1972-01-01	Paper
Jordan circuits of a graph	1971-01-01	Paper
Canonical systems which produce periodic sets	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5619048	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5656782	1970-01-01	Paper
Solving Sequential Conditions by Finite-State Strategies	1969-01-01	Paper
Definability in the monadic second-order theory of successor	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4767250	1966-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5547564	1965-01-01	Paper
Decision methods in the theory of ordinals	1965-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5608007	1965-01-01	Paper
Regular canonical systems	1964-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5618355	1964-01-01	Paper
Turing-machines and the Entscheidungsproblem	1962-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5525343	1962-01-01	Paper
Beitrag zur Aerodynamik eines schwingenden Gitters II (Unterschallströmung)	1962-01-01	Paper
Weak Second‐Order Arithmetic and Finite Automata	1960-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5517677	1960-01-01	Paper
Invariants of the Anti-Automorphisms of a Group	1958-01-01	Paper
The theory of proportionality as an abstraction of group theory	1955-01-01	Paper
On the existence of totally heterogeneous spaces	1954-01-01	Paper
Investigation of the equivalence of the axiom of choice and Zorn's lemma from the viewpoint of the hierarchy of types	1953-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5813967	1952-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5796613	1948-01-01	Paper

Research outcomes over time

This page was built for person: J. Richard Buchi