Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Satisfiability Modulo Theories: state-of-the-art, contributions, project. (Satisfaisabilité Modulo Théories: état de l'art, contributions, projet).. (2018)SMT Solvers for Rodin., , , and . ABZ, volume 7316 of Lecture Notes in Computer Science, page 194-207. Springer, (2012)Europa in 12 Lektionen. Europäische Dokumentation Amt für Amtliche Veröff. der Europ. Gemeinschaften, Luxemburg, Ms. abgeschlossen im November 2003 edition, (2004)Europa in 12 Lektionen. Amt für Amtliche Veröff. der Europ. Gemeinschaften, Luxemburg, Ms. abgeschlossen im Oktober 2006 edition, (2007)Europa in 10 Lektionen. Europäische Dokumentation Amt für Amtliche Veröff. der Europ. Gemeinschaften, Luxemburg, 3. Aufl., Ms. abgeschlossen im März 1998 edition, (1998)Fair and Adventurous Enumeration of Quantifier Instantiations., , , and . FMCAD, page 256-260. IEEE, (2021)Combining Non-stably Infinite, Non-first Order Theories., and . D/PDPAR@IJCAR, volume 125 of Electronic Notes in Theoretical Computer Science, page 37-51. Elsevier, (2004)Preface: Special Issue of Selected Extended Papers of CADE 2019.. J. Autom. Reason., 65 (7): 891-892 (2021)Combining Decision Procedures by (Model-)Equality Propagation., , and . SBMF, volume 240 of Electronic Notes in Theoretical Computer Science, page 113-128. Elsevier, (2008)Quantifier Inference Rules for SMT proofs., , and . PxTP, page 33-39. (2011)