Constraint Logic Programming Language CAL
- 1 January 1988
- book chapter
- Published by Springer Nature
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- Quantifier elimination for real closed fields by cylindrical algebraic decompostionPublished by Springer Nature ,1975
- REF-ARF: A system for solving problems stated as proceduresArtificial Intelligence, 1970
- Ueber die Theorie der algebraischen FormenMathematische Annalen, 1890