Searching for "Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract)." – 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.

Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended Abstract))
by Dominic Hughes, Rob van Glabbeek — 2003 — IN 18TH IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2003
…Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract) # DOMINIC HUGHES…
Cited by 30 (3 self) – Add To MetaCart

Proof Nets for Unit-free Multiplicative-Additive Linear Logic
by Extended Dominic, Dominic Hughes, Rob Van Glabbeek — 2003 — In 18th IEEE Symposium on Logic in Computer Science (LICS 2003
…Proof Nets for Unit-free Multiplicative-Additive Linear Logic (Extended abstract) # DOMINIC HUGHES…
Add To MetaCart

Showing 1 through 2.

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