MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Dietmar Berwanger" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • G.: The variable hierarchy of the µ-calculus is strict  
  • by Dietmar Berwanger, Erich Grädel, Giacomo Lenzi — 2005 — In: STACS 2005, Proceedings of the 22nd Symposium on Theoretical Aspects of Computer Science. Volume 3404 of LNCS., Springer-Verlag
  • …The variable hierarchy of the µ-calculus is strict Dietmar Berwanger 1 , Erich Grädel 1…
  • Cited by 2 (0 self) – Add To MetaCart
  • Games and Model Checking for Guarded Logics  
  • by Dietmar Berwanger, Erich Grädel, Mathematische Grundlagen Der Informatik, Rwth Aachen — 2000 — in Proceedings of LPAR 2001, Lecture Notes in Computer Science Nr. 2250
  • …Games and Model Checking for Guarded Logics Dietmar Berwanger and Erich Gradel Mathematische…
  • Cited by 7 (4 self) – Add To MetaCart
  • Game Logic is Strong Enough for Parity Games  
  • by Dietmar Berwanger, Mathematische Grundlagen Der Informatik, Rwth Aachen — Studia Logica. Special issue on Game Logic and Game Algebra
  • …Game Logic is Strong Enough for Parity Games Dietmar Berwanger Mathematische Grundlagen der…
  • Cited by 2 (2 self) – Add To MetaCart
  • DOI: 10.1007/s00224-004-1147-5  
  • by Theory Comput Systems, Dietmar Berwanger, Erich Grädel, Springer Science+business Media
  • … and Solitaire Games ∗ Dietmar Berwanger and Erich Grädel Mathematical Foundations of Computer Science, Aachen…
  • Add To MetaCart
  • Dag-width and parity games  
  • by Dietmar Berwanger, Anuj Dawar, Paul Hunter, Stephan Kreutzer, Labri Université De Bordeaux — 2006 — in Proceedings of 23rd Annual Symposium on Theoretical Aspects of Computer Science, STACS 2006, Lecture
  • …DAG-Width and Parity Games Dietmar Berwanger 1 , Anuj Dawar 2 , Paul Hunter 3 , and Stephan…
  • Cited by 15 (3 self) – Add To MetaCart
  • Workshop on Automata and Finite Model Theory  
  • by Helsinki Under Auspices, Organizers Lauri Hella, Juhani Karhumki, Kerkko Luosto, Dietmar Berwanger, Erich Gritdel, Mathematische Grundlagen Der Informatik, Rwth Aachen
  • …, and Logic (I and II) Dietmar Berwanger and Erich Gritdel Mathematische Grundlagen der Informatik RWTH…
  • Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB