J.-M. Notin

According to our database, J.-M. Notin authored at least 6 papers between 2000 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Axiomatic Constraint Systems for Proof Search Modulo Theories.

Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 2015

2014

Axiomatisation of constraint systems to specify a tableaux calculus modulo theories.

Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin

CoRR, 2014

2004

Recherche et construction de preuves en logique non-commutative.

Jean-Marc Notin

PhD thesis, 2004

2003

Connection-Based Proof Construction in Non-commutative Logic.

Didier Galmiche, J.-M. Notin

Proceedings of the Logic for Programming, 2003

2002

LINK: A Proof Environment Based on Proof Nets.

L. Habert, J.-M. Notin, Didier Galmiche

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2002

2000

Proof-search and proof nets in Mixed Linear Logic.

Didier Galmiche, J.-M. Notin

Proceedings of the Workshop on Type-Theoretic Languages: Proof Search and Semantics 2000, 2000