Login / Signup
J.-M. Notin
Publication Activity (10 Years)
Years Active: 2000-2003
Publications (10 Years): 0
</>
Publications
</>
Didier Galmiche
,
J.-M. Notin
Connection-Based Proof Construction in Non-commutative Logic.
LPAR
(2003)
L. Habert
,
J.-M. Notin
,
Didier Galmiche
LINK: A Proof Environment Based on Proof Nets.
TABLEAUX
(2002)
Didier Galmiche
,
J.-M. Notin
Proof-search and proof nets in Mixed Linear Logic.
Electron. Notes Theor. Comput. Sci.
37 (2000)