Sciweavers

4370 search results - page 274 / 874
» Algebra of Logic Programming
Sort
View
ENTCS
2007
72views more  ENTCS 2007»
15 years 18 days 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 18 days ago
Denotational semantics for a program logic of objects
Bernhard Reus, Jan Schwinghammer
77
Voted
NGC
2006
Springer
15 years 18 days ago
Database Query Languages and Functional Logic Programming
Jesús Manuel Almendros-Jiménez, Anto...
84
Voted
JAPLL
2007
55views more  JAPLL 2007»
15 years 17 days ago
Termination of logic programs with imperfect information: applications and query procedure
Carlos Viegas Damásio, Jesús Medina,...