( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Scalable Fine-Grained Proofs for Formula Processing.

, , , и . J. Autom. Reason., 64 (3): 485-510 (2020)

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.

Rudolf Fontaine

Nikolaus Fontaine

Johannes Fontaine

Emeric Fontaine

Mathieu Fontaine

 

Другие публикации лиц с тем же именем

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