Equate
- 1 November 1991
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 26 (11) , 286-298
- https://doi.org/10.1145/118014.117976
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- An introduction to Prolog IIICommunications of the ACM, 1990
- Constraint logic programming languagesCommunications of the ACM, 1990
- An incremental constraint solverCommunications of the ACM, 1990
- Using active data in a UIMSPublished by Association for Computing Machinery (ACM) ,1988
- Constraint hierarchiesPublished by Association for Computing Machinery (ACM) ,1987
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- An object-oriented approach to graphical interfacesACM Transactions on Graphics, 1986
- Constraint and declarative languages for engineering applications: The TK!Solver contributionProceedings of the IEEE, 1985
- Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulationArtificial Intelligence, 1981