Sciweavers

3481 search results - page 224 / 697
» Higher-Order Logic Programming as Constraint Logic Programmi...
Sort
View
MSCS
2006
80views more  MSCS 2006»
15 years 3 months ago
Denotational semantics for a program logic of objects
Bernhard Reus, Jan Schwinghammer
NGC
2006
Springer
15 years 3 months ago
Database Query Languages and Functional Logic Programming
Jesús Manuel Almendros-Jiménez, Anto...
106
Voted
JAPLL
2007
55views more  JAPLL 2007»
15 years 3 months ago
Termination of logic programs with imperfect information: applications and query procedure
Carlos Viegas Damásio, Jesús Medina,...