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 15

Record: found
Abstract: not found
Article: not found

On finite monoids having only trivial subgroups

M.P. Schützenberger (1965)

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

Bookmark

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

Generalized finite automata theory with an application to a decision problem of second-order logic

J. Thatcher, J B WRIGHT (1968)

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

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2005

Pages: 327-339

DOI: 10.1007/978-3-540-31856-9_27

SO-VID: 53c49b3c-aad5-4836-9e30-4b5a989f2182

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 4

Algebra for Infinite Forests with an Application to the Temporal Logic EF
Authors: Mikołaj Bojanczyk, Tomasz Idziaszek
Logic Meets Algebra: the Case of Regular Languages
Authors: ,
Forest Categories
Authors: Howard Straubing

See all cited by

Regular Tree Languages Definable in FO

Read this book at

Related collections

African Languages

Most cited references 15

On finite monoids having only trivial subgroups

Weak Second-Order Arithmetic and Finite Automata

Generalized finite automata theory with an application to a decision problem of second-order logic

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 1,451

Cited by 4