BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Echenim:Mnacho

Contributed to:

CADE 20152015
IJCAR 20142014
IJCAR 20122012
IJCAR 20082008
CADE 20072007
RTA 20072007
RTA 20052005
IJCAR 20042004
CADE 20172017
IJCAR 20182018

Wrote 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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.