Search results for: Sergio Antoy
Formal Aspects of Computing > 2017 > 29 > 3 > 475-494
Lecture Notes in Computer Science > Design and Implementation of Symbolic Computation Systems > 132-144
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Tools for Program Development > 6-22
Lecture Notes in Computer Science > Logic Programming > Functional and Constraint Logic Programming > 87-101
Lecture Notes in Computer Science > Programming Language Implementation and Logic Programming > 371-382
Lecture Notes in Computer Science > Term Rewriting and Applications > Session 1. Constraints and Optimization > 35-49
Lecture Notes in Computer Science > Functional and Constraint Logic Programming > Functional Logic Programming > 19-34
Lecture Notes in Computer Science > Logic Based Program Synthesis and Transformation > Specialisation > 103-124
Lecture Notes in Computer Science > Implementation and Application of Functional Languages > 108-125
Lecture Notes in Computer Science > Programming Languages: Implementations, Logics, and Programs > 1-15
Journal of Symbolic Computation > 2010 > 45 > 5 > 501-522