Rankings
Publications
Sources
Publishers
Scholars
Organizations
About
Login
Register
Home
Publications
Constraint logic programming
Home
Publications
Constraint logic programming
Constraint logic programming
JJ
J. Jaffar
J. Jaffar
JL
J.-L. Lassez
J.-L. Lassez
Publisher Website
Google Scholar
Cite
Download
Share
Download
1 January 1987
conference paper
conference paper
Published by
Association for Computing Machinery (ACM)
p.
111-119
https://doi.org/10.1145/41625.41635
Abstract
No abstract available
Keywords
PROGRAMMING LANGUAGE
EXPRESSIVE POWER
FORMAL SEMANTICS
SATISFIABILITY
Cited by 705 articles