Compiling exploratory and goal-directed deduction into sloppy delta-iteration
| Author: | Werner KießlingGND, Helmut Schmidt, Ulrich Güntzer, Rudolf Bayer |
|---|---|
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/61576 |
| ISBN: | 0-8186-0799-8OPAC |
| Parent Title (English): | Symposium on Logic Programming, August 31 - September 4 1987, San Francisco, California |
| Publisher: | Computer Soc. Press of the IEEE |
| Place of publication: | Washington, DC. |
| Type: | Part of a Book |
| Language: | English |
| Year of first Publication: | 1987 |
| Release Date: | 2019/09/06 |
| First Page: | 234 |
| Last Page: | 243 |
| Institutes: | Fakultät für Angewandte Informatik |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Lehrstuhl für Datenbanken und Informationssysteme |
