Deriving constraints among argument sizes in logic programs (extended abstract)
- 2 April 1990
- proceedings article
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Efficient tests for top-down termination of logical rulesJournal of the ACM, 1988
- A message passing framework for logical query evaluationPublished by Association for Computing Machinery (ACM) ,1986
- Implementation of logical query languages for databasesACM Transactions on Database Systems, 1985
- Convergence of sideways query evaluationPublished by Association for Computing Machinery (ACM) ,1985
- Redundancy in Mathematical ProgrammingPublished by Springer Nature ,1983
- Minimal representation of convex polyhedral setsJournal of Optimization Theory and Applications, 1982
- Convex AnalysisPublished by Walter de Gruyter GmbH ,1970