There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Most cited references 13

Record: found
Abstract: not found
Article: not found

Weak Second-Order Arithmetic and Finite Automata

J. Büchi (1960)

0 comments Cited 99 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

Fundamental properties of infinite trees

Bruno Courcelle (1983)

0 comments Cited 69 times – based on 0 reviews      Review now

Bookmark

Record: found
Abstract: not found
Article: not found

The theory of ends, pushdown automata, and second-order logic

David Muller, Paul E. Schupp (1985)

0 comments Cited 61 times – based on 0 reviews      Review now

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 1991

Publication date (Online): June 8 2005

Pages: 441-454

DOI: 10.1007/3-540-54233-7_154

SO-VID: d7405deb-52e4-414c-8d74-5c2daef40eb3

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 8

Adding Nesting Structure to Words
Authors: Rajeev Alur, P. Madhusudan
Logic, semigroups and automata on words
Authors: Jean-Éric Pin
Weighted Picture Automata and Weighted Logics
Authors: Ina Mäurer

See all cited by

On logics, tilings, and automata

Read this book at

Related collections

ScienceOpen Research

Most cited references 13

Weak Second-Order Arithmetic and Finite Automata

Fundamental properties of infinite trees

The theory of ends, pushdown automata, and second-order logic

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 4,658

Cited by 8