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

Celý popis

Podrobná bibliografia

Vydané v:	Electronic notes in theoretical computer science Ročník 37; s. 1 - 16
Hlavní autori:	Harland, James A., Pym, David J., Winikoff, Michael
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 2000
ISSN:	1571-0661, 1571-0661
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!