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-3-540-60246-0

ISBN (Electronic): 978-3-540-44768-9

Publication date (Print): 1995

DOI: 10.1007/3-540-60246-1

SO-VID: 69e666c4-eeaa-4f76-9f7e-6815eabdab93

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 2

Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete
Authors: Petr Jancar, Sylvain Schmitz
A Unifying Approach to Decide Relations for Timed Automata and their Game Characterization
Authors: S. Arun-Kumar, Shankara Krishna, Shibashis Guha …

See all cited by

Mathematical Foundations of Computer Science 1995

Read this book at