Capobianco, Silvio
-
BRICS Report Series Nr. 5 (2007): RS-5 On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt - Artikler
On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt
Resumé PDF (English)