Rankings
Publications
Search Publications
Cited-By Search
Sources
Publishers
Scholars
Scholars
Top Cited Scholars
Organizations
About
Login
Register
Home
Publications
Reasoning about Infinite Computations
Home
Publications
Reasoning about Infinite Computations
Reasoning about Infinite Computations
MV
M.Y. Vardi
M.Y. Vardi
PW
P. Wolper
P. Wolper
Publisher Website
Google Scholar
Add to Library
Cite
Download
Share
Download
1 November 1994
journal article
Published by
Elsevier
in
Information and Computation
Vol. 115
(1)
,
1-37
https://doi.org/10.1006/inco.1994.1092
Abstract
No abstract available
Cited by 511 articles