Reports
Elementary Homomorphisms and a Solution of the DOL Sequence Equivalence Problem ; CU-CS-115-77 Public Deposited
Downloadable Content
Download PDF
https://scholar.colorado.edu/concern/reports/2n49t244n
- Abstract
- This paper continues the research (started in [3]) on elementary DOL systems. In particular we provide an alternative (and simpler than the one presented in [1]) proof that the DOL sequence equivalence problem is decidable.
- Creator
- Date Issued
- 1977-09-01
- Academic Affiliation
- Last Modified
- 2019-12-21
- Resource Type
- Rights Statement
- Language
Relationships
Items
Thumbnail | Title | Date Uploaded | Visibility | Actions |
---|---|---|---|---|
elementaryHomomorphismsAndASolutionOfTheDolSequenceEquiv.pdf | 2019-12-21 | Public | Download |