( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SC2: Satisfiability Checking Meets Symbolic Computation - (Project Paper).

, , , , , , , , , , , , , , и . CICM, том 9791 из Lecture Notes in Computer Science, стр. 28-43. Springer, (2016)

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.

Nikolaus Fontaine

Johannes Fontaine

Rudolf Fontaine

Mathieu Fontaine

Emeric Fontaine

 

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

Combining Theories: The Ackerman and Guarded Fragments., и . FroCoS, том 6989 из Lecture Notes in Computer Science, стр. 40-54. Springer, (2011)Combinations of Theories for Decidable Fragments of First-Order Logic.. FroCoS, том 5749 из Lecture Notes in Computer Science, стр. 263-278. Springer, (2009)Decidability of difference logics with unary predicates., , и . SC-Square@FLoC, том 3458 из CEUR Workshop Proceedings, стр. 25-36. CEUR-WS.org, (2022)Deciding Satisfiability for Fragments with Unary Predicates and Difference Arithmetic (short paper)., , и . SC-Square@SIAM AG, том 3273 из CEUR Workshop Proceedings, стр. 18-26. CEUR-WS.org, (2021)Europa der Bürger. Europäische Dokumentation Amt für Amtliche Veröff. der Europ. Gemeinschaften, Luxemburg, (1994)Europa in zehn Lektionen. Amt für Amtliche Veröff. der Europ. Gemeinschaften, Luxemburg, 2. Ausg., Ms. abgeschlossen im Juli 1995 издание, (1995)Jean Monnet - ein Visionär Europas. Europäische Dokumentation Amt für Amtliche Veröff. der Europ. Gemeinschaften, Luxemburg, (1988)Eine neue Ordnung für Europa. Europäische Dokumentation Amt für Amtliche Veröff. der Europ. Gemeinschaften, Luxemburg, (1990)Lifting Congruence Closure with Free Variables to λ-free Higher-order Logic via SAT Encoding., , , и . SMT, том 2854 из CEUR Workshop Proceedings, стр. 3-14. CEUR-WS.org, (2020)Computing prime implicants., , , и . FMCAD, стр. 46-52. IEEE, (2013)