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

  Luca Aceto, Silvio Capobianco, Anna Ingólfsdóttir

  • PDF (English)