519 citations
- R. Mirzoyan3 profiles25 · h 65
- A. Biland2 profiles14 · h 72
- A. Moralejo2 profiles14 · h 65
- E. Lorenz3 profiles14 · h 61
- K. Mannheim2 profiles14 · h 76
- M. Shayduk2 profiles14 · h 45
- R. de los Reyes2 profiles14 · h 26
- S. Commichau2 profiles14 · h 34
- T. Schweizer2 profiles14 · h 68
- A. De Angelis2 profiles13 · h 40
- A. Laille2 profiles13 · h 34
- A. Robert3 profiles13 · h 38
- Instituto de Estructura de la MateriaES23 papers
- Consejo Superior de Investigaciones CientíficasES20 papers
- Centre National de la Recherche ScientifiqueFR17 papers
- ETH ZurichCH16 papers
- Institute for Nuclear Research and Nuclear EnergyBG15 papers
- Universitat Autònoma de BarcelonaES15 papers
- Institute for High Energy PhysicsES14 papers
- Max Planck Institute for PhysicsDE14 papers
- Universitat de BarcelonaES14 papers
- University of WürzburgDE14 papers
- Universidad de SevillaES13 papers
- University of ŁódźPL13 papers
Showing 2004 · cs.PLShow all
2 papers · 2 filters
cs.PL2004★ 2 cited
A Proof Theoretic Approach to Failure in Functional Logic Programming
Francisco Javier Lopez-Fraguas, Jaime Sanchez-Hernandez
How to extract negative information from programs is an important issue in logic programming. Here we address the problem for functional logic programs, from a proof-theoretic pers…
cs.PL2004★ 14 cited
A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types
Puri Arenas-Sanchez, Mario Rodriguez-Artalejo
We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data constructors obey a set…