On Structuring Proof Search for First Order Linear Logic

Research output: Chapter in Book/Report/Conference proceedingChapter in a published conference proceeding

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

Cite this