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