( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Minimum Manhattan Network Problem: A Fast Factor-3 Approximation.

, , и . JCDCG, том 3742 из Lecture Notes in Computer Science, стр. 16-28. Springer, (2004)

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.

Martin Widmann

Ernst Widmann

Rudolf Widmann

Peter Widmann

Eduard Widmann

 

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

Optimal Tableaux for Propositional Dynamic Logic with Converse, и . CoRR, (2010)One-Pass Tableaux for Computation Tree Logic., , и . LPAR, том 4790 из Lecture Notes in Computer Science, стр. 32-46. Springer, (2007)An Experimental Comparison of Theorem Provers for CTL., , и . TIME, стр. 49-56. IEEE, (2011)Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description)., , , , и . IJCAR, том 8562 из Lecture Notes in Computer Science, стр. 396-402. Springer, (2014)Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse., и . IJCAR, том 6173 из Lecture Notes in Computer Science, стр. 225-239. Springer, (2010)An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability., , и . M4M, том 231 из Electronic Notes in Theoretical Computer Science, стр. 191-209. Elsevier, (2007)Sound Global State Caching for ALC with Inverse Roles., и . TABLEAUX, том 5607 из Lecture Notes in Computer Science, стр. 205-219. Springer, (2009)An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability., и . CADE, том 5663 из Lecture Notes in Computer Science, стр. 437-452. Springer, (2009)Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description)., , и . LPAR, том 7180 из Lecture Notes in Computer Science, стр. 383-390. Springer, (2012)