✦ LIBER ✦

[Lecture Notes in Computer Science] Logics of Programs Volume 164 || An interval-based temporal logic

✍ Scribed by Clarke, Edmund; Kozen, Dexter

Book ID: 118213356
Publisher: Springer Berlin Heidelberg
Year: 1984
Weight: 944 KB
Category: Article
ISBN: 3540387757
DOI: 10.1007/3-540-12896-4_380

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] Thir

[Lecture Notes in Computer Science] Third International Conference on Logic Programming Volume 225 || Logic continuations

✍ Shapiro, Ehud 📂 Article 📅 1986 🏛 Springer Berlin Heidelberg ⚖ 726 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science Logic Volume 933 || Algorithmic aspects of propositional tense logics

✍ Pacholski, Leszek; Tiuryn, Jerzy 📂 Article 📅 1995 🏛 Springer Berlin Heidelberg ⚖ 638 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logics of Programs Volume 131 || Design and synthesis of synchronization skeletons using branching time temporal logic

✍ Kozen, Dexter 📂 Article 📅 1982 🏛 Springer-Verlag 🌐 German ⚖ 953 KB

[Lecture Notes in Computer Science] Logi

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

✍ Fribourg, Laurent; Turini, Franco 📂 Article 📅 1994 🏛 Springer Berlin Heidelberg ⚖ 829 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Programming Volume 2237 || Is Logic Really Dead or Only Just Sleeping?

✍ Codognet, Philippe 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 40 KB

This Book Constitutes The Refereed Proceedings Of The 17th International Conference On Logic Programming, Iclp 2001, Held In Paphos, Cyprus In November/december 2001. The 23 Revised Full Papers Presented Were Carefully Reviewed And Selected From 64 Submissions. All Current Aspects Of Logic Programmi