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 Chapter

Publication date (Print): 1997

Pages: 389-455

DOI: 10.1007/978-3-642-59126-6_7

SO-VID: 45af213b-9ba9-4b4e-b63a-7d5cb70ee7af

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 147

Simple Stochastic Parity Games
Authors: Krishnendu Chatterjee, Marcin Jurdzinski, Thomas Henzinger
Quantitative Languages
Authors: Krishnendu Chatterjee, Laurent Doyen, Thomas Henzinger
A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS
Authors: VOLKER DIEKERT, PAUL GASTIN, MANFRED KUFLEITNER

See all cited by

Languages, Automata, and Logic

Read this book at