J. Desharnais, B. Moller, and G. Struth. Kleene algebra with domain. Technical Report 2003-07, Universitat Augsburg, Institut fur Informatik, June 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Modal Kleene Algebra And Applications - A Survey - Desharnais, Möller, Struth Self-citation (Desharnais Moller Struth) (Correct)
No context found.
J. Desharnais, B. Moller, and G. Struth. Kleene algebra with domain. Technical Report 2003-07, Universit at Augsburg, Institut fur Informatik, June 2003.
Termination in Modal Kleene Algebra - Desharnais, Möller, Struth (2004) Self-citation (Desharnais Moller Struth) (Correct)
No context found.
J. Desharnais, B. Moller, and G. Struth. Kleene algebra with domain. Technical Report 2003-07, Universit at Augsburg, Institut fur Informatik, June 2003.
Kleene under a Modal Demonic Star - Desharnais, Möller, Tchier (2004) Self-citation (Desharnais Moller) (Correct)
No context found.
J. Desharnais, B. Moller, and G. Struth. Kleene algebra with domain. Technical report 2003-07, Universitat Augsburg, Institut fur Informatik, June 2003. http: //www.informatik.uni-augsburg.de/forschung/techBerichte/ reports/2003-7.pdf.
Modal Kleene Algebra and Partial Correctness - Möller, Struth (2003) Self-citation (Moller Struth) (Correct)
No context found.
J. Desharnais, B. Moller, and G. Struth. Kleene algebra with domain. Technical Report 2003-07, Universitat Augsburg, Institut fur Informatik, June 2003.
KAT-ML: An Interactive Theorem Prover for Kleene Algebra with .. - Aboul-Hosn, Kozen (Correct)
No context found.
J. Desharnais, B. Moller, and G. Struth. Kleene algebra with domain. Technical Report 2003-07, Universitat Augsburg, Institut fur Informatik, June 2003.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC