Skript (Fassung vom 4.4.2011) - Lehr- und Forschungsgebiet ...
Skript (Fassung vom 4.4.2011) - Lehr- und Forschungsgebiet ...
Skript (Fassung vom 4.4.2011) - Lehr- und Forschungsgebiet ...
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Literaturverzeichnis<br />
[AG00] T. Arts and J. Giesl. Termination of term rewriting using dependency pairs.<br />
Theoretical Computer Science, 236:133-178, 2000.<br />
[Ave95] J. Avenhaus. Reduktionssysteme. Springer, 1995.<br />
[BA95] F. Baader and C. A. Albayarak. Termersetzungssysteme. <strong>Skript</strong> zur Vorlesung,<br />
RWTH Aachen, Aachener Beiträge zur Informatik, Band 12, 1995.<br />
[BN98] F. Baader and T. Nipkow. Term rewriting and all that. Cambridge University<br />
Press, 1998.<br />
[Bac91] L. Bachmair. Canonical Equational Proofs. Birkhäuser, 1991.<br />
[Bir35]<br />
G. Birkhoff. On the structure of abstract algebras. Proc. Cambridge Philophical<br />
Society, 31:433-454, 1935.<br />
[BR95] A. Bouhoula and M. Rusinowitch. Implicit induction in conditional theories.<br />
Journal of Automated Reasoning, 14:189-235, 1995.<br />
[Bün98] R. Bündgen. Termersetzungssysteme. Vieweg, 1998.<br />
[BG99] J. Brauburger and J. Giesl. Approximating the domains of functional and imperative<br />
programs. Science of Computer Programming, 35:113-136, 1999.<br />
[CR36] A. Church and J. B. Rosser. Some properties of conversion. Trans. AMS, 39:472-<br />
482, 1936.<br />
[CLM08] M. Codish, V. Lagoon, and P. Stuckey. Solving Partial Order Constraints for<br />
LPO Termination. Journal on Satisfiability, Boolean Modeling and Computation,<br />
5:193-215, 2008.<br />
[DM79] N. Dershowitz and Z. Manna. Proving Termination with Multiset Orderings.<br />
Communications of the ACM, 22(8): 465-476, 1979.<br />
[Der82] N. Dershowitz. Orderings for term-rewriting systems. Theoretical Computer<br />
Science, 17:279-301, 1982.<br />
[Der87] N. Dershowitz. Termination of rewriting. Journal of Symbolic Computation,<br />
3:69-116, 1987.<br />
139