On Structuring Proof Search for First Order Linear Logic

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

Original language	English
Title of host publication	LPAR 2003
Editors	Moshe Y Vardi, Andrei Voronkov
Publisher	Springer Verlag
Pages	389-406
Number of pages	18
Volume	2850
Edition	Lecture Notes in Artificial Intelligence
Publication status	Published - 31 Dec 2003

Cite this

@inproceedings{05b3f464121148eea1b568e6fa47e903,

title = "On Structuring Proof Search for First Order Linear Logic",

author = "Paola Bruscoli and Alessio Guglielmi",

year = "2003",

month = dec,

day = "31",

language = "English",

volume = "2850",

pages = "389--406",

editor = "Vardi, \{Moshe Y\} and Andrei Voronkov",

booktitle = "LPAR 2003",

publisher = "Springer Verlag",

edition = "Lecture Notes in Artificial Intelligence",

}