M. Marchiori. On deterministic conditional rewriting. Computation Structures Group, Memo 405, MIT Laboratory for Computer Science, 1997. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
On Quasi-Reductive and Quasi-Simplifying Deterministic.. - Ohlebusch (Correct)
....in the sequence Var(l) EVar(t 1 ) EVar(t i ) every variable occurs exactly once which is not the case in the sequence VAR(l; t 1 ; t i ) from [Mar97, Def. 4. 1] The results of the paper at hand, however, are completely different from the ones reported in the technical report [Mar97], except for one: Proposition 7 is akin to [Mar97, Lemma 4.6] Acknowledgements: I thank Michael Hanus for the (email) discussion which led to the development of the transformation U . I am also grateful to Aart Middeldorp and the anonymous referees for their comments. ....
M. Marchiori. On deterministic conditional rewriting. Computation Structures Group, Memo 405, MIT Laboratory for Computer Science, 1997.
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