Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
Journal Full Title / ISSN | Year | Author/Editor | Title | |||||
---|---|---|---|---|---|---|---|---|
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
Journal of Logic Programming 0743-1066 | 1995 | Hanus, Michael | Analysis of Residuating Logic Programs In: Journal of Logic Programming [24], 219-245 | |||||
Journal of Logic Programming 0743-1066 | 1994 | Chadha, Ritu Plaisted, David A. | Correctness of unification without occur check in Prolog In: Journal of Logic Programming [18], 99-122 | |||||
Journal of Logic Programming 0743-1066 | 1994 | Hanus, Michael | The Integration of Functions into Logic Programming: From Theory to Practice In: Journal of Logic Programming [19 & 20], 583-628 | |||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
| ||||||||
|