( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Standalone Tactics Using OpenTheory.

, и . ITP, том 7406 из Lecture Notes in Computer Science, стр. 405-411. Springer, (2012)

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.

Ion Hurdubeţiu

Ion Hurdubeţiu

Wolfgang Hurdelbrink

Otto-Heinz Hurdelbrink

Ion Hurdubeţiu

 

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

Evaluation Opportunities in Mechanized Theories.. EMSQMS@IJCAR, том 6 из EPiC Series in Computing, стр. 1-4. EasyChair, (2010)Composable Packages for Higher Order Logic Theories.. VERIFY@IJCAR, том 3 из EPiC Series in Computing, стр. 79-93. EasyChair, (2010)A Formal Approach to Probabilistic Termination.. TPHOLs, том 2410 из Lecture Notes in Computer Science, стр. 230-245. Springer, (2002)Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)., , , и . SAT, том 7317 из Lecture Notes in Computer Science, стр. 493-495. Springer, (2012)Proof Pearl: The Termination Analysis of Terminator.. TPHOLs, том 4732 из Lecture Notes in Computer Science, стр. 151-156. Springer, (2007)Predicate Subtyping with Predicate Sets.. TPHOLs, том 2152 из Lecture Notes in Computer Science, стр. 265-280. Springer, (2001)An LCF-Style Interface between HOL and First-Order Logic.. CADE, том 2392 из Lecture Notes in Computer Science, стр. 134-138. Springer, (2002)Standalone Tactics Using OpenTheory., и . ITP, том 7406 из Lecture Notes in Computer Science, стр. 405-411. Springer, (2012)Data Assurance in Opaque Computations., и . ACG, том 6048 из Lecture Notes in Computer Science, стр. 221-231. Springer, (2009)Integrating Gandalf and HOL.. TPHOLs, том 1690 из Lecture Notes in Computer Science, стр. 311-322. Springer, (1999)