𝔖 Bobbio Scriptorium
✦   LIBER   ✦

External Rewriting for Skeptical Proof Assistants

✍ Scribed by Quang Huy Nguyen; Claude Kirchner; Hélène Kirchner

Book ID
110413130
Publisher
Springer Netherlands
Year
2002
Tongue
English
Weight
209 KB
Volume
29
Category
Article
ISSN
0168-7433

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Modular Termination Proofs for Rewriting
Modular Termination Proofs for Rewriting Using Dependency Pairs
✍ Jürgen Giesl; Thomas Arts; Enno Ohlebusch 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 524 KB

Recently, Arts and Giesl developed the dependency pair approach which allows automated termination and innermost termination proofs for many term rewriting systems (TRSs) for which such proofs were not possible before. The motivation for this approach was that virtually all previous techniques for a