Mahfuza Farooque

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Topics

Sequent Calculus

Inference Rules

Top Venues

École Polytechnique, Palaiseau, France (PHD)

Education History

École Polytechnique, Palaiseau, France

PHD

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)
Mahfuza Farooque, Stéphane Graham-Lengrand, Assia Mahboubi
) and a proof-search strategy for the focused sequent calculus. LFMTP (2013)
Mahfuza Farooque, Stéphane Graham-Lengrand
Sequent Calculi with procedure calls CoRR (2013)
Mahfuza Farooque, Stéphane Lengrand
A sequent calculus with procedure calls CoRR (2012)
Mahfuza Farooque, Stéphane Lengrand, Assia Mahboubi
Two simulations about DPLL(T) CoRR (2012)
Mahfuza Farooque, Susana Muñoz-Hernández
Easy Fuzzy Tool for Emotion Recognition - Prototype from Voice Speech Analysis. IJCCI (2009)