Facultad
Informática
Aportaciones congreso (7) Publicaciones en las que ha participado algún/a investigador/a
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)
-
HEURISTICS FOR BRANCH-AND-BOUND GLOBAL ALLOCATION
EURO-DAC 92 : EUROPEAN DESIGN AUTOMATION CONFERENCE
-
Heuristics for branch-and-bound global allocation
European Design Automation Conference
-
Influencias de factores del nivel fisico en la estimación de area y tiempo en Síntesis de Alto Nivel
VII Congreso de Diseño de Circuitos Integrados: 3, 4 y 5 de noviembre de 1992, Toledo, España : actas
-
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)