[Lecture Notes in Computer Science] Higher-Order Algebra, Logic, and Term Rewriting Volume 816 || Interaction systems

[Lecture Notes in Computer Science] Alge

[Lecture Notes in Computer Science] Algebraic and Logic Programming Volume 343 || Proving inductive theorems based on term rewriting systems

✍ Grabowski, J.; Lescanne, P.; Wechler, W. 📂 Article 📅 1988 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 550 KB

This Volume Contains The Proceedings Of The First International Workshop On Algebraic And Logic Programming Held In Gaussig (german Democratic Republic) From November 14 To 18, 1988. The Workshop Was Devoted To Algebraic Programming, In The Sense Of Programming By Algebraic Specifications And Rewrit

[Lecture Notes in Computer Science] Cond

[Lecture Notes in Computer Science] Conditional and Typed Rewriting Systems Volume 516 || Clausal rewriting

✍ Kaplan, S.; Okada, M. 📂 Article 📅 1991 🏛 Springer Berlin Heidelberg ⚖ 926 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 5674 || Packaging Mathematical Structures

✍ Berghofer, Stefan; Nipkow, Tobias; Urban, Christian; Wenzel, Makarius 📂 Article 📅 2009 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 267 KB

This Book Constitutes The Refereed Proceedings Of The 22nd International Conference On Theorem Proving In Higher Order Logics, Tphols 200, Held In Munich, Germany, In August 2009. The 26 Revised Full Papers Presented Together With 1 Proof Pearl, 4 Tool Presentations, And 3 Invited Papers Were Carefu

[Lecture Notes in Computer Science] From

[Lecture Notes in Computer Science] From Object-Orientation to Formal Methods Volume 2635 || Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework

✍ Owe, Olaf; Krogdahl, Stein; Lyche, Tom 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 405 KB

[Lecture Notes in Computer Science] From

[Lecture Notes in Computer Science] From Object-Orientation to Formal Methods Volume 2635 || Pure Type Systems in Rewriting Logic: Specifying Typed Higher-Order Languages in a First-Order Logical Framework

✍ Owe, Olaf; Krogdahl, Stein; Lyche, Tom 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 405 KB

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Techniques and Applications Volume 2051 || Universal Interaction Systems with Only Two Agents

✍ Middeldorp, Aart 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 168 KB