Searching for "On Structuring Proof Search for First Order Linear Logic" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

On Structuring Proof Search for First Order Linear Logic
by Paola Bruscoli, Alessio Guglielmi, Technische Universität Dresden — 2004
…Technical Report WV-03-10 6 July 2004 On Structuring Proof Search for First Order Linear Logic…
Cited by 1 (1 self) – Add To MetaCart

On Structuring Proof Search
by For First Order, Paola Bruscoli, Alessio Guglielmi, Technische Universität Dresden — 2003
…On Structuring Proof Search for First Order Linear Logic Paola Bruscoli and Alessio Guglielmi…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB