✦ LIBER ✦

[Lecture Notes in Computer Science] Logical Foundations of Computer Science Volume 813 || Weak orthogonality implies confluence: The higher-order case

✍ Scribed by Nerode, Anil; Matiyasevich, Yu. V.

Book ID: 121014957
Publisher: Springer Berlin Heidelberg
Year: 1994
Weight: 801 KB
Category: Article
ISBN: 3540484426
DOI: 10.1007/3-540-58140-5_35

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1991 Volume 520 || Partial higher-order specifications

✍ Tarlecki, Andrzej 📂 Article 📅 1991 🏛 Springer Berlin Heidelberg ⚖ 879 KB

[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] Math

[Lecture Notes in Computer Science] Mathematical Foundations of Computer Science 1978 Volume 64 || The completeness of propositional dynamic logic

✍ Winkowski, J. 📂 Article 📅 1978 🏛 Springer Berlin Heidelberg ⚖ 551 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 1275 || Proof normalization for a first-order formulation of higher-order logic

✍ Gunter, Elsa L.; Felty, Amy 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 813 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 3603 || Extensionality in the Calculus of Constructions

✍ Hurd, Joe; Melham, Tom 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg ⚖ 445 KB

[Lecture Notes in Computer Science] Theo

[Lecture Notes in Computer Science] Theorem Proving in Higher Order Logics Volume 3603 || On the Correctness of Operating System Kernels

✍ Hurd, Joe; Melham, Tom 📂 Article 📅 2005 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 566 KB

This Volume Constitutes The Proceedings Of The 18th International Conference On Theorem Proving In Higher Order Logics (tphols 2005), Which Was Held During22–25august2005inoxford,uk.tpholscoversallaspectsoftheorem Proving In Higher Order Logics As Well As Related Topics In Theorem Proving And Veri?c