Sciweavers

3738 search results - page 212 / 748
» Parametrized Logic Programming
Sort
View
CORR
2007
Springer
107views Education» more  CORR 2007»
13 years 8 months ago
Automatic Coding Rule Conformance Checking Using Logic Programs
Guillem Marpons-Ucero, Julio Mariño, &Aacut...
ENTCS
2007
106views more  ENTCS 2007»
13 years 8 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»
13 years 8 months ago
Equivalence of Two Formal Semantics for Functional Logic Programs
Francisco Javier López-Fraguas, Juan Rodr&i...