Department
Sistemas Informáticos y Computación
Conference papers (5) Publications in which a researcher has participated
1992
-
A general scheme for constraint functional logic programming
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Basic superposition is complete
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
CSP Probabilístico (PCSP): un modelo operacional
Panel '92: actas, XVIII Conferencia Latinoamericana de Informática
-
MIZ-PR: A theorem prover for polymorphic and recursive functions
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Theorem proving with ordering constrained clauses
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)