DMCA

On the Existence of a Finite Base for Complete Trace Equivalence over BPA with Interrupt (2007)

by Luca Aceto , Silvio Capobianco , Anna Ingólfsdóttir
Citations:2 - 0 self