MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "On Kleene Algebras." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 166 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Modal Kleene Algebra and Applications  
  • by Survey Jules Desharnais, Jules Desharnais, Bernhard Möller, Georg Struth — 2004 — Journal on Relational Methods in Computer Science
  • …Journal on Relational Methods in Computer Science, Vol. 1, 2004, pp. 93 - 131 Modal Kleene Algebra…
  • Add To MetaCart
  • Kleene Algebra with Domain  
  • by Copyright C Jules Desharnais, Universität Augsburg, Jules Desharnais, Jules Desharnais, Bernhard Möller, Bernhard Möller, Bernhard Möller, Georg Struth, Georg Struth, Georg Struth — 2003 — ACM Transactions on Computational Logic
  • …Universität Augsburg Kleene Algebra with Domain Jules Desharnais and Bernhard Möller and Georg…
  • Cited by 28 (19 self) – Add To MetaCart
  • Characterizing Determinacy in Kleene Algebras  
  • by Copyright C Jules Desharnais, Universität Augsburg, Jules Desharnais, Jules Desharnais, Bernhard Möller, Bernhard Möller, Bernhard Möller — 2000 — Information Sciences
  • …Universität Augsburg Characterizing Determinacy in Kleene Algebras Jules Desharnais and Bernhard…
  • Cited by 10 (5 self) – Add To MetaCart
  • Kleene algebra with tests  
  • by Dexter Kozen — 1997 — Transactions on Programming Languages and Systems
  • …On the Representation of Kleene Algebras with Tests Dexter Kozen Department of Computer Science…
  • Cited by 69 (18 self) – Add To MetaCart
  • Termination in Modal Kleene Algebra  
  • by Copyright Jules, Desharnais Bernhard, Georg Struth, Universität Augsburg, Jules Desharnais, Jules Desharnais, Bernhard Möller, Bernhard Möller, Georg Struth, Georg Struth — 2004 — Exploring new frontiers of theoretical informatics. IFIP International Federation for Information Processing Series 155. Kluwer 2004, 653–666
  • …Universität Augsburg Termination in Modal Kleene Algebra Jules Desharnais Bernhard Möller Georg…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB