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...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Electronic notes in theoretical computer science Jg. 37; S. 1 - 16
Hauptverfasser:	Harland, James A., Pym, David J., Winikoff, Michael
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 2000
ISSN:	1571-0661, 1571-0661
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!