Sciweavers

1131 search results - page 47 / 227
» Logic Programming, Functional Programming, and Inductive Def...
Sort
View
CACM
2010
122views more  CACM 2010»
13 years 8 months ago
Functional logic programming
Sergio Antoy, Michael Hanus
ENTCS
2007
106views more  ENTCS 2007»
13 years 8 months ago
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
Sonia Estévez Martín, Antonio J. Fer...
ENTCS
2007
72views more  ENTCS 2007»
13 years 8 months ago
Equivalence of Two Formal Semantics for Functional Logic Programs
Francisco Javier López-Fraguas, Juan Rodr&i...
NGC
2006
Springer
13 years 8 months ago
Database Query Languages and Functional Logic Programming
Jesús Manuel Almendros-Jiménez, Anto...
CSUR
1998
73views more  CSUR 1998»
13 years 8 months ago
A Unifying View of Functional and Logic Program Specialization
María Alpuente, Moreno Falaschi, Germ&aacut...