MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Florian Widmann" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

3 documents found, showing 1 through 3.

ATOM

An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
by Pietro Abatea, Rajeev Goréa, Florian Widmann — 2008
… for PDL-Satisfiability Pietro Abatea,1 , Rajeev Goréa,2 b,3 ,4 and Florian Widmann Abstract a Computer…
Add To MetaCart

The Minimum Manhattan Network Problem - A Fast Factor-3 Approximation
by Marc Benkert, Florian Widmann, Alexander Wolff, Er Wolff — 2004 — In Proc. 20th European Workshop on Computational Geometry (EWCG’04
…The Minimum Manhattan Network Problem: A Fast Factor-3 Approximation Marc Benkert ∗ Florian…
Cited by 5 (0 self) – Add To MetaCart

Cut-free single-pass tableaux for the logic of common knowledge
by Pietro Abate, Rajeev Goré, Florian Widmann — 2007 — In Workshop on Agents and Deduction at TABLEAUX
… , and Florian Widmann 2 The Australian National University Canberra ACT 0200, Australia {Pietro.Abate|Rajeev.Gore|Florian.Widmann…
Cited by 2 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB