G. Struth. Calculating Church-Rosser proofs in Kleene algebra. In H.C.M. de Swart, editor, Relational Methods in Computer Science, 6th International Conference, volume 2561 of LNCS, pages 276--290. Springer, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Modal Kleene Algebra and Applications - Survey Jules Desharnais Self-citation (Struth) (Correct)
No context found.
G. Struth. Calculating Church-Rosser proofs in Kleene algebra. In H.C.M. de Swart, editor, Relational Methods in Computer Science, 6th International Conference, volume 2561 of LNCS, pages 276--290. Springer, 2002.
Modal Kleene Algebra And Applications - A Survey - Desharnais, Möller, Struth Self-citation (Struth) (Correct)
No context found.
G. Struth. Calculating Church-Rosser proofs in Kleene algebra. In H.C.M. de Swart, editor, Relational Methods in Computer Science, 6th International Conference, volume 2561 of LNCS, pages 276--290. Springer, 2002.
Termination in Modal Kleene Algebra - Desharnais, Möller, Struth (2004) Self-citation (Struth) (Correct)
No context found.
G. Struth. Calculating Church-Rosser proofs in Kleene algebra. In H.C.M. de Swart, editor, Relational Methods in Computer Science, 6th International Conference, volume 2561 of LNCS, pages 276--290. Springer, 2002.
KAT-ML: An Interactive Theorem Prover for Kleene Algebra with .. - Aboul-Hosn, Kozen (Correct)
No context found.
Georg Struth. Calculating Church-Rosser proofs in Kleene algebra. In Proc. 6th Int. Conf. Relational Methods in Computer Science (ReIMICS'01), pages 276--290, London, 2002. Springer-Verlag.
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