SIGN IN
SIGN UP
Alternation
Full Text:
PDF
Buy this Article
Authors:
Ashok K. Chandra
IBM Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, New York
Dexter C. Kozen
IBM Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, New York
Larry J. Stockmeyer
IBM Thomas J. Watson Research Center, P.O. Box 218, Yorktown Heights, New York
Published in:
· Journal
Journal of the ACM (JACM)
JACM Homepage
archive
Volume 28 Issue 1, Jan. 1981
Pages 114-133
ACM
New York, NY
, USA
table of contents
doi>
10.1145/322234.322243
1981 Article
Bibliometrics
· Downloads (6 Weeks): 34
· Downloads (12 Months): 268
· Downloads (cumulative): 2,721
· Citation Count: 344
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
alternation and nondeterminism
bounded-action devices
theory
verification
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder