Searching for authors named "Amine Chaieb" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

7 documents found, showing 1 through 7.

Verifying mixed real-integer quantifier elimination
by Amine Chaieb, Technische Universität München — 2006 — IJCAR 2006, LNCS 4130
…Verifying Mixed Real-Integer Quantifier Elimination Amine Chaieb Institut für Informatik…
Cited by 6 (5 self) – Add To MetaCart

Proof-producing program analysis
by Amine Chaieb, Technische Universität München — 2004
…Proof-Producing Program Analysis Amine Chaieb Institut für Informatik Technische Universität…
Cited by 1 (1 self) – Add To MetaCart

Verifying and reflecting quantifier elimination for Presburger arithmetic
by Amine Chaieb, Tobias Nipkow, Technische Universität München — 2005 — Logic for Programming, Artificial Intelligence, and Reasoning
…Verifying and reflecting quantifier elimination for Presburger arithmetic Amine Chaieb and Tobias…
Cited by 7 (5 self) – Add To MetaCart

Context aware calculation and deduction — ring equalities via Gröbner Bases in Isabelle
by Amine Chaieb, Makarius Wenzel, Technische Universität München — 2007 — Towards Mechanized Mathematical Assistants (CALCULEMUS and MKM 2007), LNAI
…Context aware Calculation and Deduction Ring Equalities via Gröbner Bases in Isabelle Amine Chaieb…
Cited by 3 (2 self) – Add To MetaCart

Generic proof synthesis for presburger arithmetic
by Amine Chaieb, Tobias Nipkow, Technische Universität München — 2003
…Generic Proof Synthesis for Presburger Arithmetic Draft Amine Chaieb and Tobias Nipkow Institut…
Cited by 4 (3 self) – Add To MetaCart

Proof synthesis and reflection for linear arithmetic. Submitted
by Amine Chaieb, Tobias Nipkow, Technische Universität München — 2006
…Proof Synthesis and Reflection for Linear Arithmetic Amine Chaieb and Tobias Nipkow Institut für…
Cited by 4 (4 self) – Add To MetaCart

Proof reconstruction for first-order logic and set-theoretical constructions
by Clément Hurlin, Inria Sophia-antipolis, Amine Chaieb, Tjark Weber, Technische Universität München, Pascal Fontaine, Stephan Merz, Inria Lorraine — 2006 — Sixth International Workshop on Automated Verification of Critical Systems (AVOCS ’06) – Preliminary Proceedings
… Hurlin, INRIA Sophia-Antipolis clement.hurlin@(email omitted); Amine Chaieb, Tjark Weber, Technische…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 7.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB