MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Kleene algebra with domain." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 13 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • 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
  • Universität Augsburg Kleene Algebra with Domain  
  • by Jules Desharnais, Bernhard Möller, Georg Struth, Universität Augsburg, Jules Desharnais, Bernhard Möller, Georg Struth — 2003
  • …Universität Augsburg Kleene Algebra with Domain Jules Desharnais, Bernhard Möller, Georg Struth…
  • Add To MetaCart
  • Modal Kleene Algebra and Partial Correctness  
  • by Copyright C Bernhard Möller, Universität Augsburg, Bernhard Möller, Bernhard Möller, Georg Struth, Georg Struth, Georg Struth — 2003 — Institut für Informatik, Universität Augsburg
  • …,struth}@(email omitted); Abstract We enrich Kleene algebra by domain and codomain operators. These abstractions of relational…
  • Cited by 8 (8 self) – Add To MetaCart
  • Modal Kleene Algebra and Applications  
  • by Survey Jules Desharnais, Jules Desharnais, Bernhard Möller, Georg Struth — 2004 — Journal on Relational Methods in Computer Science
  • … to reasoning about programs and state transition systems in the form of Kleene algebra with domain [11…
  • Add To MetaCart
  • Modal Kleene Algebra And Applications - A Survey  
  • by Cité Universitaire, Gk P, Bernhard Möller Et, Pavillon Adrien-pouliot, Pavillon Adrien-pouliot, Copyright C Jules Desharnais, Université Laval, Université Laval, Jules Desharnais, Jules Desharnais, Bernhard Möller, Bernhard Möller, Georg Struth, Georg Struth, Georg Struth
  • … algebras are Kleene algebras with forward and backward modal operators defined via domain and codomain…
  • Add To MetaCart
  • Greedy-like algorithms in Kleene algebra  
  • by Copyright Bernhard, Möller Georg Struth, Universität Augsburg, Bernhard Möller, Bernhard Möller, Georg Struth, Georg Struth — 2003 — Participants’ Proceedings 7th RelMiCS/2nd Kleene Workshop, Malente, May 12–17, 2003
  • … of conditions using the modal operators diamond and box. Section 5 then introduces Kleene algebra with domain…
  • Cited by 3 (3 self) – Add To MetaCart
  • Equational Axioms of Test Algebra  
  • by Marco Hollenberg — 1996 — Computer Science Logic, 11th International Workshop, CSL ’97, volume 1414 of LNCS
  • … be embedded into the relational Kleene Algebra with as its domain all binary relations over \Sigma . h…
  • Cited by 6 (0 self) – Add To MetaCart
  • Solin: Omega Algebra, Demonic Refinement Algebra and Commands  
  • by Copyright Peter, Höfner Kim, Solin Bernhard Möller, Universität Augsburg, Peter Höfner, Peter Höfner, Bernhard Möller, Bernhard Möller, Kim Solin, Kim Solin — 2006 — In 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, Lecture
  • …]. The definitions of these operators use modal operators, defined from the domain operator of Kleene algebra…
  • Cited by 4 (3 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB