Travelled to:1 × Australia
1 × Austria
1 × France
1 × Ireland
1 × Japan
1 × United Kingdom
2 × Germany
Collaborated with:N.Peltier T.B.d.l.Tour S.Tourret M.P.Bonacina P.Narendran Y.Sellami
Talks about:generat (4) equat (4) permut (3) implic (3) present (2) theori (2) modulo (2) prime (2) logic (2) unif (2)
Person: Mnacho Echenim
DBLP: Echenim:Mnacho
Contributed to:
2015
2014201220082007
20072005200420172018Wrote 10 papers:
- CADE-2015-EchenimPT #equation #generative #logic #quantifier
- Quantifier-Free Equational Logic and Prime Implicate Generation (ME, NP, ST), pp. 311–325.
- IJCAR-2014-EchenimPT #equation #logic
- A Rewriting Strategy to Generate Prime Implicates in Equational Logic (ME, NP, ST), pp. 137–151.
- IJCAR-2012-EchenimP #calculus #generative
- A Calculus for Generating Ground Explanations (ME, NP), pp. 194–209.
- IJCAR-2008-TourEN #equation #unification
- Unification and Matching Modulo Leaf-Permutative Equational Presentations (TBdlT, ME, PN), pp. 332–347.
- CADE-2007-BonacinaE #composition
- T-Decision by Decomposition (MPB, ME), pp. 199–214.
- RTA-2007-TourE
- Determining Unify-Stable Presentations (TBdlT, ME), pp. 63–77.
- RTA-2005-TourE #unification
- Unification in a Class of Permutative Theories (TBdlT, ME), pp. 105–119.
- IJCAR-2004-TourE #equation
- Overlapping Leaf Permutative Equations (TBdlT, ME), pp. 430–444.
- CADE-2017-EchenimP #formal method
- The Binomial Pricing Model in Finance: A Formalization in Isabelle (ME, NP), pp. 546–562.
- IJCAR-2018-EchenimPS #framework #generative #modulo theories
- A Generic Framework for Implicate Generation Modulo Theories (ME, NP, YS), pp. 279–294.