Sciweavers

3566 search results - page 188 / 714
» Signed Logic Programs
Sort
View
90
Voted
ENTCS
2007
106views more  ENTCS 2007»
15 years 2 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»
15 years 2 months ago
Equivalence of Two Formal Semantics for Functional Logic Programs
Francisco Javier López-Fraguas, Juan Rodr&i...
MSCS
2006
80views more  MSCS 2006»
15 years 2 months ago
Denotational semantics for a program logic of objects
Bernhard Reus, Jan Schwinghammer
NGC
2006
Springer
15 years 2 months ago
Database Query Languages and Functional Logic Programming
Jesús Manuel Almendros-Jiménez, Anto...