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

Published: 2004-01-24

Articles