|
|
Andreoli, Jean--Marc and Pareschi, Remo (1991): Logic Programming with Sequence Systems: A Linear Logic Approach
| Title: |
Logic Programming with Sequence Systems: A Linear Logic Approach |
| Author(s): |
Andreoli, Jean--Marc and Pareschi, Remo |
| Year: |
1991 |
| Booktitle: |
Extensions of Logic Programming |
| Editor(s): |
Schroeder--Heister, P. |
| Number: |
475 |
| Pages: |
1-30 |
| Publisher: |
Springer |
| Address: |
Berlin |
Concepts
|
|
