( en | de | ru )

 

Disambiguierung von "Widmann, Florian"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
The minimum Manhattan network problem: Approximations and exact solutions.

, , , und . Comput. Geom., 35 (3): 188-208 (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Martin Widmann

Ernst Widmann

Rudolf Widmann

Peter Widmann

Eduard Widmann

 

Weitere Publikationen von Autoren mit dem selben Namen

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