( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Succinct Representation, Leaf Languages, and Projection Reductions.

. Inf. Comput., 142 (2): 207-236 (1998)

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

 

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

Complexity of t-tautologies., , , и . Ann. Pure Appl. Log., 113 (1-3): 3-11 (2001)On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability., , и . Inf. Comput., (2017)Parameterized model checking of rendezvous systems., , , , и . Distributed Comput., 31 (3): 187-222 (2018)Shape and Content: Incorporating Domain Knowledge into Shape Analysis., , , , и . CoRR, (2013)How did you specify your test suite., , , и . ASE, стр. 407-416. ACM, (2010)The Localization Reduction and Counterexample-Guided Abstraction Refinement., , и . Essays in Memory of Amir Pnueli, том 6200 из Lecture Notes in Computer Science, стр. 61-71. Springer, (2010)Empirical Software Metrics for Benchmarking of Verification Tools., , , и . CAV (1), том 9206 из Lecture Notes in Computer Science, стр. 561-579. Springer, (2015)On the Undecidability of some Sub-Classical First-Order Logics., , , и . FSTTCS, том 1738 из Lecture Notes in Computer Science, стр. 258-268. Springer, (1999)Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms., , , , и . SFM, том 8483 из Lecture Notes in Computer Science, стр. 122-171. Springer, (2014)A Syntactic Characterization of Distributive LTL Queries., и . ICALP, том 3142 из Lecture Notes in Computer Science, стр. 1099-1110. Springer, (2004)