|
|||||
|
|
Lazy List Comprehension in Logic Programming |
|
| Authors: | Elbl Birgit |
| Affiliation: | 1 Fakultät für Informatik, UniBw München, 85577 Neubiberg, Germany. E-mail: birgit{at}informatik.unibw-muenchen.de |
| Abstract: | |
| Keywords: | Logic programming lazy list comprehension axiomatic semantics |
| 本文献已被 Oxford 等数据库收录！ | |