Making exhaustive search programs deterministic
- 1 March 1987
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 5 (1) , 29-44
- https://doi.org/10.1007/bf03037456
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Guarded horn clausesPublished by Springer Nature ,1986
- Foundations of Logic ProgrammingPublished by Springer Nature ,1984