✦ LIBER ✦

[Lecture Notes in Computer Science] Logics of Programs Volume 164 || Deciding branching time logic: A triple exponential decision procedure for CTL

✍ Scribed by Clarke, Edmund; Kozen, Dexter

Book ID: 126253851
Publisher: Springer Berlin Heidelberg
Year: 1984
Weight: 994 KB
Category: Article
ISBN: 3540387757
DOI: 10.1007/3-540-12896-4_363

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[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 for Programming, Artificial Intelligence, and Reasoning Volume 6355 || A Simple Class of Kripke-Style Models in Which Logic and Computation Have Equal Standing

✍ Clarke, Edmund M.; Voronkov, Andrei 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 385 KB

[Lecture Notes in Computer Science] Rewr

[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 6381 || K-Maude: A Rewriting Based Tool for Semantics of Programming Languages

✍ Ölveczky, Peter Csaba 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 281 KB

This Book Constitutes The Refereed Proceedings Of The 8th International Workshop On Rewriting Logic And Its Applications, Wrla 2010, Held As A Satellite Event Of Etaps 2010, Paphos, Cyprus, In March 2010. The 13 Revised Full Papers Presented Were Carefully Reviewed And Selected From 29 Submissions.

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic and Machines: Decision Problems and Complexity Volume 171 || Recurrence relations for the number of labeled structures on a finite set

✍ Börger, E.; Hasenjaeger, G.; Rödding, D. 📂 Article 📅 1984 🏛 Springer Berlin Heidelberg ⚖ 510 KB

[Lecture Notes in Computer Science] Logi

[Lecture Notes in Computer Science] Logic Based Program Synthesis and Transformation Volume 2664 || A Cut-Free Sequent Calculus for Pure Type Systems Verifying the Structural Rules of Gentzen/Kleene

✍ Leuschel, Michael 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 250 KB

The thoroughly refereed post-proceedings of the 12th International Workshop on Logic Based Program Synthesis and Transformation, LOPSTR 2002, held in Madrid, Spain in September 2002. The 15 revised full papers presented together with 7 abstracts were carefully selected during two rounds of reviewing

[Lecture Notes in Computer Science] Fiel

[Lecture Notes in Computer Science] Field Programmable Logic and Application Volume 3203 || AAA and SynDEx-Ic: A Methodology and a Software Framework for the Implementation of Real-Time Applications onto Reconfigurable Circuits

✍ Becker, Jürgen; Platzner, Marco; Vernalde, Serge 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 135 KB