L. Aceto. Personal communication, December 1995. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
On the Completeness of the Equations for the Kleene Star in.. - Fokkink (1996) (2 citations) (Correct)
....Lemma 2. P Q if and only if P oe Qoe for all substitutions oe : Var T(BPA (A) This lemma can be proved following the strategy that was employed in [3] for prefix iteration, although in the case of the binary Kleene star the technical details are considerably more complicated [1]. An easy way out is offered by Sewell [22] Theorems 4 and 5] where this type of result is proved in the more general setting of a simply typed lambda calculus, which captures iteration. According to Lemma 2, if an axiomatization E for T(BPA (A) is sound and complete modulo bisimulation, then ....
L. Aceto. Personal communication, December 1995.
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