Bibsonomy :: author  ::

bookmarks

publications

(92)

• 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  
• Algorithmic-Logical Theory of Infinite Structures, 28.10. - 02.11.2007
  Rod Downey and Bakhadyr Khoussainov and Dietrich Kuske and Markus Lohrey and Moshe Y. Vardi (eds.). Algorithmic-Logical Theory of Infinite Structures (2008)
  to dblp by dblp on 2008-05-15 00:00:00
  | URL | BibTeX  
• Optimal exercise boundary for an American put option
  Rachel A. Kuske and Joseph B. Keller Applied Mathematical Finance 5 107--116 (1998)
  to imported by smicha on 2008-04-23 19:16:38
  | URL | BibTeX  
• Some Essentials of Graph Transformation.
  Hans-Jörg Kreowski and Renate Klempien-Hinrichs and Sabine Kuske Recent Advances in Formal Languages and Applications 229-254 (2006)
  to dblp by dblp on 2008-03-10 00:00:00
  | URL | BibTeX