08.10.2013 Aufrufe

Download (1405Kb)

Download (1405Kb)

Download (1405Kb)

MEHR ANZEIGEN
WENIGER ANZEIGEN

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.

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!