Search results for: Mario Rodríguez-Artalejo
Lecture Notes in Computer Science
Lecture Notes in Computer Science > Progamming Language Implementation and Logic Programming > 184-200
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 62-76
Lecture Notes in Computer Science > ESOP '90 > 271-290
Lecture Notes in Computer Science > Functional and Logic Programming > Functional Logic Programming > 170-184
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Lecture Notes in Computer Science
Electronic Notes in Theoretical Computer Science > 2009 > 248 > Complete > 67-82
Higher-Order and Symbolic Computation > 2007 > 20 > 1-2 > 73-122