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

Published: 2005-06-03

Articles