Forward and Backward Chaining in Linear Logic (Extended Abstract)
Logic programming languages based on linear logic are of both theoretical and practical interest, particularly because such languages can be seen as providing a logical basis for programs which execute within a dynamic environment. Most linear logic programming languages are implemented using standa...
Saved in:
| Published in: | Electronic notes in theoretical computer science Vol. 37; pp. 1 - 16 |
|---|---|
| Main Authors: | , , |
| Format: | Journal Article |
| Language: | English |
| Published: |
Elsevier B.V
2000
|
| ISSN: | 1571-0661, 1571-0661 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Be the first to leave a comment!