SIGN IN
SIGN UP
The Sequence Equivalence Problem is Decidable for 0S Systems
Full Text:
PDF
Buy this Article
Authors:
A. Ehrenfeucht
Department of Computer Science, University of Colorado at Boulder, Boulder, Coloroda
G. Rozenberg
Institute of Applied Mathematics and Computer Science, University of Leiden, 2300 RA Leiden, The Netherlands
Published in:
· Journal
Journal of the ACM (JACM)
JACM Homepage
archive
Volume 27 Issue 4, Oct. 1980
Pages 656-663
ACM
New York, NY
, USA
table of contents
doi>
10.1145/322217.322222
1980 Article
Bibliometrics
· Downloads (6 Weeks): 0
· Downloads (12 Months): 3
· Downloads (cumulative): 223
· Citation Count: 0
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
decision problems
grammar types
languages
performance
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