Deriving constraints among argument sizes in logic programs
- 1 June 1991
- journal article
- Published by Springer Nature in Annals of Mathematics and Artificial Intelligence
- Vol. 3 (2) , 361-392
- https://doi.org/10.1007/bf01530930
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- On the convergence of query evaluationJournal of Computer and System Sciences, 1989
- 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
- Design overview of the NAIL! SystemPublished by Springer Nature ,1986
- Implementation of logical query languages for databasesACM Transactions on Database Systems, 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