NARCISO
MARTÍ OLIET
Catedrático de universidad
DAVID DE
FRUTOS ESCRIG
Catedrático de universidad
Publicaciones en las que colabora con DAVID DE FRUTOS ESCRIG (1)
2000
-
Bisimilarity congruences for open terms and term graphs via tile logic
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)