DETERMINISTIC AUTOMATA AND THE MONADIC THEORY OF ORDINALS < ω<sub>2</sub>.Published in:Mathematical Logic Quarterly, 1983, v. 29, n. 5, p. 313, doi. 10.1002/malq.19830290503By:Büchi, J. Richard;Zaiontz, CharlesPublication type:Article
THE COMPLETE EXTENSIONS OF THE MONADIC SECOND ORDER THEORY OF COUNTABLE ORDINALS.Published in:Mathematical Logic Quarterly, 1983, v. 29, n. 5, p. 289, doi. 10.1002/malq.19830290502By:Büchi, J. Richard;Siefkes, DirkPublication type:Article
Masthead.Published in:Mathematical Logic Quarterly, 1983, v. 29, n. 5, p. fmi, doi. 10.1002/malq.19830290501Publication type:Article