The following pages link to J. Richard Buchi (Q1086572):
Displaying 38 items.
- Large convex sets in oriented matroids (Q1086574) (← links)
- (Q1214410) (redirect page) (← links)
- The monadic second order theory of all countable ordinals (Q1214411) (← links)
- Jordan circuits of a graph (Q2546875) (← links)
- Definibility in normal theories (Q2562854) (← links)
- Turing-machines and the Entscheidungsproblem (Q2626083) (← links)
- The theory of proportionality as an abstraction of group theory (Q2653662) (← links)
- (Q3219105) (← links)
- Invariants of the Anti-Automorphisms of a Group (Q3256245) (← links)
- Weak Second‐Order Arithmetic and Finite Automata (Q3287248) (← links)
- THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS (Q3328512) (← links)
- DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω2 (Q3328514) (← links)
- State-strategies for games in <i>F<sub>σδ</sub></i> ∩ <i>G<sub>δσ</sub></i> (Q3679155) (← links)
- Definability in the Existential Theory of Concatenation and Undecidable Extensions of this Theory (Q3773843) (← links)
- Coding in the existential theory of concatenation (Q3789546) (← links)
- (Q3995303) (← links)
- Variations on a theme of cantor in the theory of relational structures (Q4078016) (← links)
- (Q4143272) (← links)
- (Q4692772) (← links)
- (Q4767250) (← links)
- Regular canonical systems (Q5338328) (← links)
- (Q5517677) (← links)
- (Q5525343) (← links)
- (Q5547564) (← links)
- Solving Sequential Conditions by Finite-State Strategies (Q5573394) (← links)
- Canonical systems which produce periodic sets (Q5582344) (← links)
- Decision methods in the theory of ordinals (Q5608006) (← links)
- (Q5608007) (← links)
- Definability in the monadic second-order theory of successor (Q5609381) (← links)
- (Q5618355) (← links)
- (Q5619048) (← links)
- Model Theoretic Approaches to Definability (Q5650385) (← links)
- (Q5656782) (← links)
- (Q5796613) (← links)
- (Q5813967) (← links)
- Investigation of the equivalence of the axiom of choice and Zorn's lemma from the viewpoint of the hierarchy of types (Q5818473) (← links)
- On the existence of totally heterogeneous spaces (Q5827048) (← links)
- Beitrag zur Aerodynamik eines schwingenden Gitters II (Unterschallströmung) (Q5904150) (← links)
