HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

hal-02958328v1  Conference papers
Olivier HermantJames Lipton. Eliminating Cuts in hoI(C ) - Extended Abstract
TEASE-LP: Workshop on Trends, Extensions, Applications and Semantics of Logic Programming, May 2020, Paris, France
hal-01433373v1  Journal articles
Emilio Jesús Gallego AriasJulio Mariño y CarballoJames Lipton. Constraint logic programming with a relational machine
Formal Aspects of Computing, Springer Verlag, 2016, 29 (Issue 1), pp.97-124. ⟨10.1007/s00165-016-0369-z⟩