Sciweavers

3566 search results - page 188 / 714
» Signed Logic Programs
Sort
View
ENTCS
2007
106views more  ENTCS 2007»
14 years 11 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»
14 years 11 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»
14 years 11 months ago
Denotational semantics for a program logic of objects
Bernhard Reus, Jan Schwinghammer
NGC
2006
Springer
14 years 11 months ago
Database Query Languages and Functional Logic Programming
Jesús Manuel Almendros-Jiménez, Anto...