A. Blumensath, E. Gradel, Finite Presentations of Infinite Structures: Automata and Interpretations, vol. 37 of Theory of Computing Systems, pp. 641-674, 2004. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Positional Determinacy Of Games With Infinitely Many - Priorities Erich Gr Self-citation (Adel) (Correct)
No context found.
A. Blumensath and E. Gr adel, Finite presentations of infinite structures: Automata and interpretations, Theory of Computing Systems, 37 (2004), pp. 641 -- 674.
Game Quantification on Automatic Structures - And Hierarchical Model (Correct)
No context found.
A. Blumensath, E. Gradel, Finite Presentations of Infinite Structures: Automata and Interpretations, vol. 37 of Theory of Computing Systems, pp. 641-674, 2004.
Invariants of Automatic Presentations and - Semi-Synchronous Transductions.. (Correct)
No context found.
A. Blumensath and E. Gradel. Finite presentations of infinite structures: Automata and interpretations. Theory of Computing Systems, 37:641 -- 674, 2004.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC