Sciweavers

2084 search results - page 37 / 417
» Set Constraints in 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 9 months ago
JPSG Parser on Constraint Logic Programming
Hirosi Tuda, Kôiti Hasida, Hidetosi Sirai
SLP
1990
121views more  SLP 1990»
13 years 9 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 8 months ago
Logic programs with monotone abstract constraint atoms
Victor W. Marek, Ilkka Niemelä, Miroslaw Trus...