Nr. 24 (2004): RS-24 Bisimilarity is not Finitely Based over BPA with Interrupt

Publiceret: 2004-01-24

Artikler