Term Rewriting Systems
Norbert Eisinger and Andreas Nonnengart
FILES: DedSysEng.*
A short introduction into term rewriting systems.This chapter is supposed to provide beginners in logic with the basics of term rewriting, the Knuth-Bendix completion algorithm and theorem proving by rewriting.
Available: BibTeX-Entry
FILES: DedSysB.*
In German
A short introduction into term rewriting systems.This chapter is supposed to provide beginners in logic with the basic ideas behind term rewriting systems, Knuth-Bendix-Completion, and theory proving based on rewriting.
Available: BibTeX-Entry
FILES: DedSysA.*
In German
A short introduction into modal- and temporal logic.This chapter is supposed to provide beginners with the basic notions of modal and temporal logics, their syntax and semantics, frame topology and correspondence theory.
Available: BibTeX-Entry
Home page of the Max Planck Institute
Person responsible for this page