𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Logic Program Synthesis and Transformation — Meta-Programming in Logic Volume 883 || Introspective metatheoretic reasoning

✍ Scribed by Fribourg, Laurent; Turini, Franco

Book ID
111912735
Publisher
Springer Berlin Heidelberg
Year
1994
Weight
829 KB
Category
Article
ISBN
354049104X

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp
[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Logic programming in Tau Categories
✍ Pacholski, Leszek; Tiuryn, Jerzy 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 836 KB

Subtyping With Singleton Types / David Aspinall -- A Subtyping For The Fisher-honsell-mitchell Lambda Calculus Of Objects / Viviana Bono And Luigi Liquori -- The Girard Translation Extended With Recursion / Torben Brauner -- Decidability Of Higher-order Subtyping With Intersection Types / Adriana B.

[Lecture Notes in Computer Science] Logi
[Lecture Notes in Computer Science] Logic for Programming, Artificial Intelligence, and Reasoning Volume 4246 || Theory Instantiation
✍ Hermann, Miki; Voronkov, Andrei 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 252 KB

This Book Constitutes The Refereed Proceedings Of The 13th International Conference On Logic For Programming, Artificial Intelligence, And Reasoning, Lpar 2006, Held In Phnom Penh, Cambodia In November 2006. The 38 Revised Full Papers Presented Together With One Invited Talk Were Carefully Reviewed