Tile Bisimilarity Congruences for Open Terms and Term Graphs (2000)

Cached

Download Links

by R. Bruni , D. de Frutos-Escrig , N. Martí-Oliet , U. Montanari
Venue:in: Proc. CONCUR 2000, LNCS 1877 (2000
Citations:12 - 7 self