( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
On the Notion of Vacuous Truth.

, и . LPAR, том 4790 из Lecture Notes in Computer Science, стр. 2-14. Springer, (2007)

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.

Helmut Veith

Helmut Veith

Helmut Veith

Helmut Veith

Helmut Veith

 

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

Empirical Software Metrics for Benchmarking of Verification Tools., , , и . CAV (1), том 9206 из Lecture Notes in Computer Science, стр. 561-579. Springer, (2015)Pebble-Intervals Automata and FO2 with Two Orders (Extended Version)., , , и . CoRR, (2019)Verification Across Intellectual Property Boundaries., , и . CAV, том 4590 из Lecture Notes in Computer Science, стр. 82-94. Springer, (2007)Concolic Testing of Concurrent Programs., , , и . Software Engineering, том P-227 из LNI, стр. 101-102. GI, (2014)Succinct Representation, Leaf Languages, and Projection Reductions.. Inf. Comput., 142 (2): 207-236 (1998)How did you specify your test suite., , , и . ASE, стр. 407-416. ACM, (2010)A Syntactic Characterization of Distributive LTL Queries., и . ICALP, том 3142 из Lecture Notes in Computer Science, стр. 1099-1110. Springer, (2004)The Localization Reduction and Counterexample-Guided Abstraction Refinement., , и . Essays in Memory of Amir Pnueli, том 6200 из Lecture Notes in Computer Science, стр. 61-71. Springer, (2010)Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms., , , , и . SFM, том 8483 из Lecture Notes in Computer Science, стр. 122-171. Springer, (2014)On the Undecidability of some Sub-Classical First-Order Logics., , , и . FSTTCS, том 1738 из Lecture Notes in Computer Science, стр. 258-268. Springer, (1999)