On the Existence of a Finite Base for Complete Trace Equivalence Over BPA With Interrupt
BRICS Report Series
doi 10.7146/brics.v14i5.21928
Full Text
Open PDFAbstract
Available in full text
Date
February 12, 2007
Authors
Publisher
Aarhus University Library