On Structuring Proof Search for First Order Linear Logic

Paola Bruscoli, Alessio Guglielmi

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

Original languageEnglish
Title of host publicationLPAR 2003
EditorsMoshe Y Vardi, Andrei Voronkov
PublisherSpringer Verlag
Number of pages18
EditionLecture Notes in Artificial Intelligence
Publication statusPublished - 31 Dec 2003

Cite this