✦ LIBER ✦

[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 822 || Higher-Order Abstract Syntax with induction in Coq

✍ Scribed by Pfenning, Frank

Book ID: 118198189
Publisher: Springer Berlin Heidelberg
Year: 1994
Weight: 857 KB
Category: Article
ISBN: 3540485732
DOI: 10.1007/3-540-58216-9_36

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Type

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 902 || Higher-order abstract syntax in Coq

✍ Dezani-Ciancaglini, Mariangiola; Plotkin, Gordon 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 900 KB

[Lecture Notes in Computer Science] Type

[Lecture Notes in Computer Science] Typed Lambda Calculi and Applications Volume 1210 || Primitive recursion for higher-order abstract syntax

✍ Groote, Philippe; Roger Hindley, J. 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 943 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 624 || On the use of the constructive omega-rule within automated deduction

✍ Voronkov, Andrei 📂 Article 📅 1992 🏛 Springer-Verlag ⚖ 856 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Programming and Automated Reasoning Volume 624 || The unification of infinite sets of terms and its applications

✍ Voronkov, Andrei 📂 Article 📅 1992 🏛 Springer-Verlag ⚖ 753 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 3452 || The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs

✍ Baader, Franz; Voronkov, Andrei 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 452 KB

This Book Constitutes The Refereed Proceedings Of The 11th International Conference On Logic For Programming, Artificial Intelligence, And Reasoning, Lpar 2004, Held In Montevideo, Uruguay In March 2005. The 33 Revised Full Papers Presented Together With Abstracts Of 4 Invited Papers Were Carefully

[Lecture Notes in Computer Science] High

[Lecture Notes in Computer Science] Higher Order Logic Theorem Proving and Its Applications Volume 859 || Automating verification by functional abstraction at the system level

✍ Melham, Thomas F.; Camilleri, Juanito 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 702 KB