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 18

Record: found
Abstract: not found
Article: not found

Reasoning about Infinite Computations

M.Y. Vardi, P. Wolper (1994)

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

Bookmark

Record: found
Abstract: not found
Article: not found

Alternating-time temporal logic

Rajeev Alur, Thomas Henzinger, Orna Kupferman (2002)

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

Bookmark

Record: found
Abstract: not found
Book: not found

Automata on Infinite Objects and Church’s Problem

Michael L. Rabin (1972)

0 comments Cited 30 times – based on 0 reviews

Bookmark

All references

Author and book information

Book Chapter

Publication date (Print): 2006

Pages: 591-605

DOI: 10.1007/11874683_39

SO-VID: ff8e7689-4086-41ff-9d77-45a49d86b92f

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 9

Solving Parity Games in Big Steps
Authors: Sven Schewe
Coordination Logic
Authors: Bernd Finkbeiner, Sven Schewe
Tighter Bounds for the Determinisation of Büchi Automata
Authors: Sven Schewe

See all cited by

Satisfiability and Finite Model Property for the Alternating-Time μ-Calculus

Read this book at

Related collections

Renewable Energy – Distribution Grid

Most cited references 18

Reasoning about Infinite Computations

Alternating-time temporal logic

Automata on Infinite Objects and Church’s Problem

Author and book information

Book Chapter

History

Comments

Comment on this book

Book chapters

Similar content 3,975

Cited by 9