|
|
A. Dovier and E. G. Omodeo and E. Pontelli and G. Rossi (1992): Embedding Finite Sets in a Logic Programming Language
| Title: |
Embedding Finite Sets in a Logic Programming Language |
| Author(s): |
A. Dovier and E. G. Omodeo and E. Pontelli and G. Rossi |
| Year: |
1992 |
| Booktitle: |
Extensinons of Logic Programming. Third Intern. Workshop. ELP'92. Bologna |
| Editor(s): |
E. Lamma and P. Mello |
| Month: |
Febr. 26 -- 28 |
| Number: |
660 |
| Pages: |
150-167 |
| Publisher: |
Springer |
| Address: |
Berlin [u.a.] |
Concepts
|
|
