DAVID DE
FRUTOS ESCRIG
Catedrático de universidad
NARCISO
MARTÍ OLIET
Catedrático de universidad
Publications by the researcher in collaboration with NARCISO MARTÍ OLIET (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)