Sciweavers

1131 search results - page 47 / 227
» Logic Programming, Functional Programming, and Inductive Def...
Sort
View
CACM
2010
122views more  CACM 2010»
15 years 17 days ago
Functional logic programming
Sergio Antoy, Michael Hanus
67
Voted
ENTCS
2007
106views more  ENTCS 2007»
15 years 12 days 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»
15 years 12 days ago
Equivalence of Two Formal Semantics for Functional Logic Programs
Francisco Javier López-Fraguas, Juan Rodr&i...
75
Voted
NGC
2006
Springer
15 years 12 days ago
Database Query Languages and Functional Logic Programming
Jesús Manuel Almendros-Jiménez, Anto...
CSUR
1998
73views more  CSUR 1998»
15 years 4 days ago
A Unifying View of Functional and Logic Program Specialization
María Alpuente, Moreno Falaschi, Germ&aacut...