J.-M. Notin

2003
3	EE	Didier Galmiche, J.-M. Notin: Connection-Based Proof Construction in Non-commutative Logic. LPAR 2003: 422-436
2002
2	EE	L. Habert, J.-M. Notin, Didier Galmiche: LINK: A Proof Environment Based on Proof Nets. TABLEAUX 2002: 330-334
2000
1	EE	Didier Galmiche, J.-M. Notin: Proof-search and proof nets in Mixed Linear Logic. Electr. Notes Theor. Comput. Sci. 37: (2000)

Coauthor Index

1	Didier Galmiche	[1] [2] [3]
2	L. Habert	[2]