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

Author and book information

Book

ISBN (Print): 978-1-4612-6695-2

ISBN (Electronic): 978-1-4612-0289-9

Publication date (Print): 1994

DOI: 10.1007/978-1-4612-0289-9

SO-VID: ae0047d0-0990-4416-8722-b2828da9974d

License:

http://www.springer.com/tdm

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 29

A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
Authors: VOLKER DIEKERT, PAUL GASTIN, MANFRED KUFLEITNER
Formal-Language-Constrained Path Problems
Authors: Madhav V. Marathe, Riko Jacob, Chris Barrett
On Logical Descriptions of Regular Languages
Authors: Howard Straubing

See all cited by

Finite Automata, Formal Logic, and Circuit Complexity

Read this book at