( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Goal-Directed Invariant Synthesis for Model Checking Modulo Theories.

, и . TABLEAUX, том 5607 из Lecture Notes in Computer Science, стр. 173-188. Springer, (2009)

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.

Silvio Bischoff

Miniaturisierte Hochdrehzahl-Kühlmittelpumpen für Kfz-Motoren. TU Braunschweig, (2009)

Silvio Schulze

Silvio Scheel

Silvio Peritore

Silvio Prause

 

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

Combined Covers and Beth Definability., , , , и . CoRR, (2019)Continuity, freeness, and filtrations.. J. Appl. Non Class. Logics, 20 (3): 193-217 (2010)Abstraction and Acceleration in SMT-based Model-Checking for Array Programs, , и . CoRR, (2013)Presheaf semantics and independence results for some non-classical first-order logics.. Arch. Math. Log., 29 (2): 125-136 (1989)A Model-Theoretic characterization of Monadic second order Logic on Infinite Words., и . J. Symb. Log., 82 (1): 62-76 (2017)Unification in modal and description logics., и . Logic Journal of the IGPL, 19 (6): 705-730 (2011)A Combination of Rewriting and Constraint Solving for the Quantifier-Free Interpolation of Arrays with Integer Difference Constraints., , и . FroCoS, том 6989 из Lecture Notes in Computer Science, стр. 103-118. Springer, (2011)Goal-Directed Invariant Synthesis for Model Checking Modulo Theories., и . TABLEAUX, том 5607 из Lecture Notes in Computer Science, стр. 173-188. Springer, (2009)First-order modal logic., и . Handbook of Modal Logic, том 3 из Studies in logic and practical reasoning, North-Holland, (2007)SAFARI: SMT-Based Abstraction for Arrays with Interpolants., , , , и . CAV, том 7358 из Lecture Notes in Computer Science, стр. 679-685. Springer, (2012)