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á bibliografie

Vydáno v:	Electronic notes in theoretical computer science Ročník 37; s. 1 - 16
Hlavní autoři:	Harland, James A., Pym, David J., Winikoff, Michael
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 2000
ISSN:	1571-0661, 1571-0661
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!