𝔖 Bobbio Scriptorium

✦ LIBER ✦

[Lecture Notes in Computer Science] COLOG-88 Volume 417 || A proof-search method for the first order logic

✍ Scribed by Martin-Löf, Per; Mints, Grigori

Book ID: 111889250
Publisher: Springer Berlin Heidelberg
Year: 1990
Weight: 505 KB
Category: Article
ISBN: 354046963X
DOI: 10.1007/3-540-52335-9_63

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 1234 || Models for the logic of proofs

✍ Adian, Sergei; Nerode, Anil 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 486 KB

[Lecture Notes in Computer Science] ESOP

[Lecture Notes in Computer Science] ESOP '88 Volume 300 || Programming with proofs: A second order type theory

✍ Ganzinger, H. 📂 Article 📅 1988 🏛 Springer Berlin Heidelberg ⚖ 879 KB

[Lecture Notes in Computer Science] Veri

[Lecture Notes in Computer Science] Verification of Object-Oriented Software. The KeY Approach Volume 4334 || First-Order Logic

✍ Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 656 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] 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] Conc

[Lecture Notes in Computer Science] Conceptual Modeling Volume 7532 || A Distance-Based Spelling Suggestion Method for XML Keyword Search

✍ Atzeni, Paolo; Cheung, David; Ram, Sudha 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 390 KB