J.-M. Notin

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2003

3 Didier Galmiche, J.-M. Notin: Connection-Based Proof Construction in Non-commutative Logic. LPAR 2003: 422-436

2002

2 L. Habert, J.-M. Notin, Didier Galmiche: LINK: A Proof Environment Based on Proof Nets. TABLEAUX 2002: 330-334

2000

1 Didier Galmiche, J.-M. Notin: Proof-search and proof nets in Mixed Linear Logic. Electr. Notes Theor. Comput. Sci. 37: (2000)

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

Coauthor Index