Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Some varieties of iteration theories., and . Bulletin of the EATCS, (1984)The alternation number and a dot hierarchy of regular sets.. Acta Cybern., 7 (4): 355-358 (1986)Matrices, machines and behaviors., , and . Appl. Categorical Struct., 4 (4): 343-360 (1996)Iteration 2-theories., , , and . Appl. Categorical Struct., 9 (2): 173-216 (2001)Extensions of Gödel's completeness theorem and the Löwenheim-Skolem theorem.. Notre Dame J. Formal Log., 14 (3): 408-410 (1973)A semi-completeness theorem.. Notre Dame J. Formal Log., 10 (3): 303-308 (1969)Investigations into the sentential calculus with identity., and . Notre Dame J. Formal Log., 13 (3): 289-308 (1972)Algebraic Linear Orderings, and . CoRR, (2010)Iteration 2-Theories: Extended Abstract., , , and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 30-44. Springer, (1997)Regular and Algebraic Words and Ordinals., and . CALCO, volume 4624 of Lecture Notes in Computer Science, page 1-15. Springer, (2007)