BibSonomy :: author  :: Kuske ::

bookmarks

publications

(90)

• Schützenberger's theorem on formal power series follows from Kleene's theorem.
  Dietrich Kuske Theor. Comput. Sci. 401 243-248 (2008)
  to dblp by dblp on 2008-08-21 00:00:00
  | URL | BibTeX  
• Uniform Satisfiability in PSPACE for Local Temporal Logics Over Mazurkiewicz Traces.
  Paul Gastin and Dietrich Kuske Fundam. Inform. 80 169-197 (2007)
  to dblp by dblp on 2008-08-06 00:00:00
  | URL | BibTeX  
• On Communicating Automata with Bounded Channels.
  Blaise Genest and Dietrich Kuske and Anca Muscholl Fundam. Inform. 80 147-167 (2007)
  to dblp by dblp on 2008-08-06 00:00:00
  | URL | BibTeX  
• Graph Transformation Units - An Overview.
  Hans-Jörg Kreowski and Sabine Kuske and Grzegorz Rozenberg Concurrency, Graphs and Models 57-75 (2008)
  to dblp by dblp on 2008-06-16 00:00:00
  | URL | BibTeX  
• Application of verification techniques to inverse monoids.
  Markus Lohrey Algorithmic-Logical Theory of Infinite Structures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Tree Automata Make Ordinal Theory Easy.
  Thierry Cachat Algorithmic-Logical Theory of Infinite Structures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• PDL with Intersection and Converse is 2EXP-complete.
  Stefan Göller and Markus Lohrey and Carsten Lutz Algorithmic-Logical Theory of Infinite Structures (2007)
  to dblp by dblp and 1 other person on 2008-05-15 00:00:00
  | URL | BibTeX  
• 07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures.
  Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi Algorithmic-Logical Theory of Infinite Structures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• 07441 Summary -- Algorithmic-Logical Theory of Infinite Structures.
  Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi Algorithmic-Logical Theory of Infinite Structures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic.
  Dietrich Kuske Algorithmic-Logical Theory of Infinite Structures (2007)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX