Regular expressions and the equivalence of programs
- 30 November 1969
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 3 (4), 361-386
- https://doi.org/10.1016/s0022-0000(69)80027-9
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Algorithmic properties of structuresTheory of Computing Systems, 1967
- Programming Languages and Computers: A Unified MetatheoryPublished by Elsevier ,1967
- Two Complete Axiom Systems for the Algebra of Regular EventsJournal of the ACM, 1966
- On Ianov's Program SchemataJournal of the ACM, 1964
- Finite Automata and Their Decision ProblemsIBM Journal of Research and Development, 1959