Sciweavers

606 search results - page 19 / 122
» Constraint Hierarchies and Logic Programming
Sort
View
ISMB
1993
13 years 9 months ago
Protein Topology Prediction through Parallel Constraint Logic Programming
Dominic A. Clark, Christopher J. Rawlings, Jack Sh...
EACL
1989
ACL Anthology
13 years 8 months ago
JPSG Parser on Constraint Logic Programming
Hirosi Tuda, Kôiti Hasida, Hidetosi Sirai
SLP
1990
121views more  SLP 1990»
13 years 8 months ago
Analysis of Constraint Logic Programs
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.
Kim Marriott, Harald Søndergaard
CORR
2006
Springer
126views Education» more  CORR 2006»
13 years 7 months ago
Logic programs with monotone abstract constraint atoms
Victor W. Marek, Ilkka Niemelä, Miroslaw Trus...
ENTCS
2007
106views more  ENTCS 2007»
13 years 7 months ago
A Proposal for the Cooperation of Solvers in Constraint Functional Logic Programming
Sonia Estévez Martín, Antonio J. Fer...