Complutense Group on Program Analyis and Transformation
COSTA
Universidade Nova de Lisboa
Lisboa, PortugalPublikationen in Zusammenarbeit mit Forschern von Universidade Nova de Lisboa (1)
2000
-
Complete monotonic semantic path orderings
Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)