Jean-Marc Notin

Publication Activity (10 Years)

Years Active: 2014-2015
Publications (10 Years): 0

Top Topics

Functional Dependencies

Top Venues

Publications

Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin
Axiomatic Constraint Systems for Proof Search Modulo Theories. FroCos (2015)
Damien Rouhling, Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi, Jean-Marc Notin
Axiomatisation of constraint systems to specify a tableaux calculus modulo theories. CoRR (2014)