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
Datum der Publikation: 2000
Ausgabe: 1877 LNCS
Seiten: 259-274
Art: Konferenz-Beitrag