A Complete Equational Axiomatization for BPA-delta-epsilon with Prefix Iteration
Publication date
1995
Authors
Fokkink, W.J.
Zantema, H.
Editors
Advisors
Supervisors
DOI
Document Type
Report
Metadata
Show full item recordCollections
License
Abstract
Keywords
Ordered by external client
Citation
Fokkink, W J & Zantema, H 1995, A Complete Equational Axiomatization for BPA-delta-epsilon with Prefix Iteration. vol. 1995-10, UU-CS edn, Utrecht University, Utrecht. < http://www.cs.uu.nl/research/techreps/UU-CS-1995-10.html >