Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Reasoning about Infinite Computations
Home
Publications
Reasoning about Infinite Computations
Reasoning about Infinite Computations
M.Y. Vardi
M.Y. Vardi
P. Wolper
P. Wolper
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 November 1994
journal article
Published by
Elsevier BV
in
Information and Computation
Vol. 115
(1)
,
1-37
https://doi.org/10.1006/inco.1994.1092
Abstract
No abstract available
Keywords
INFINITE COMPUTATION
EXPRESSIVE POWER
EXPRESSIVENESS
FINITE AUTOMATA
BUCHI AUTOMATA
TEMPORAL LOGIC
Cited by 508 articles