Download (1405Kb)
Download (1405Kb)
Download (1405Kb)
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
182 LITERATURVERZEICHNIS<br />
[Bur86] P. Burmeister: A Model Theoretic Oriented Approach to Partial Algebras ; Mathematical<br />
Research, Vol. 32, Akademie-Verlag, Berlin, 1986.<br />
[BMS80] R. M. Burstall, D. B. MacQueen, D. T. Sannella: Hope: An experimental applicative<br />
language; ACM Conference on Lisp and Functional Programming, Stanford,<br />
1980, S. 136 – 143<br />
[Bur&Cam93] F. W. Burton, R. D. Cameron: Pattern Matching with Abstract Data Types ; Journal<br />
of Functional Programming 3 (2), 1993, S. 171 – 190.<br />
[Ca&Fell92] R. Cartwright, M. Felleisen: Observable Sequentiality and Full Abstraction ; Conference<br />
Record of the 19th Annual ACM Symposium on Principles of Programming<br />
Languages, POPL, 1992, S. 328 – 342.<br />
[Chen&O’Do91] Y. Chen, M.J. O’Donnell: Infinite Terms and Infinite Rewritings; Conditional<br />
and typed rewriting systems – 2nd International CTRS workshop, Montreal,<br />
Canada, Juni 1990, LNCS 516, 1991, S. 115 – 126.<br />
[Com91] H. Comon: Disunification: A Survey; J.-L. Lassez, G. Plotkin (ed.): Computational<br />
Logic – Essays in Honor of Alan Robinson, MIT Press, 1991, S. 322 –<br />
359.<br />
[Cou80] B. Courcelle: Completions of ordered magmas; Fundamenta Informaticae III.1,<br />
1980, S. 105 – 116.<br />
[Cou83] B. Courcelle: Fundamental Properties of Infinite Trees; Theoretical Computer<br />
Science 25, 1983, S. 95 – 169.<br />
[Cou90] B. Courcelle: Recursive Applicative Program Schemes; in: J. van Leeuwen (ed.):<br />
Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics,<br />
Elsevier, Amsterdam 1990, S. 459 – 492.<br />
[Dau89] M. Dauchet: Simulation of Turing machines by a left-linear rewrite rule; Proc.<br />
3rd RTA, Springer Verlag, LNCS 355, 1989, S. 109 – 120.<br />
[DHLT90] M. Dauchet, T. Heuillar, P. Lescanne, S. Tison: Decidability of the confluence of<br />
finite ground term rewriting systems and of other related term rewrite systems ;<br />
Information and Computation, Vol. 88, Nr. 2, 1990, S. 187 – 201<br />
[Der87] N. Dershowitz: Termination of Rewriting; Journal on Symbolic Computation 3<br />
(1&2), 1987, S. 69 – 115, Corrigendum: 4, 1987, S. 409 – 410.<br />
[Der&Jou90] N. Dershowitz, J.-P. Jouannaud: Rewrite Systems ; in: J. van Leeuwen (ed.):<br />
Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics,<br />
Elsevier, Amsterdam 1990, S. 243 – 320.<br />
[DKP91] N. Dershowitz, St. Kaplan, D. A. Plaisted: Rewrite, rewrite, rewrite, rewrite,<br />
rewrite, . . . ; Theoretical Computer Science 83, 1991, S. 71 – 96.<br />
[DMK92] N. Dershowitz, S. Mitra, G. Sivakumar: Decidable Matching for Convergent Systems<br />
; CADE–11: 11th international conference on automated deduction, LNCS<br />
607, S. 589 – 602.