Bisimilarity congruences for open terms and term graphs via tile logic
- Bruni, R.
- De Frutos-Escrig, D.
- Martí-Oliet, N.
- Montanari, U.
ISSN: 0302-9743, 1611-3349
ISBN: 9783540678977
Any de publicació: 2000
Volum: 1877 LNCS
Pàgines: 259-274
Tipus: Aportació congrés