Nr. 16 (2000): RS-16 Complexity of Weak Bisimilarity and Regularity for BPA and BPP

Publiceret: 2000-01-16

Artikler