You have Guest access.
Log In
Volume 1 / 1996 - Volume 17 / 2012
5-34
On Benchmarking Constraint Logic Programming Platforms. Response to Fernandez and Hill's “A Comparative Study of Eight Constraint Programming Languages over the Boolean and Finite Domains”
Mark Wallace, Joachim Schimpf, Kish Shen and Warwick Harvey
35-91
Disunification in ACI1 Theories
Agostino Dovier, Carla Piazza and Enrico Pontelli
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info