✦ LIBER ✦

[Lecture Notes in Computer Science] STACS 2001 Volume 2010 || Semantical Principles in the Modal Logic of Coalgebras

✍ Scribed by Ferreira, Afonso; Reichel, Horst

Book ID: 115442623
Publisher: Springer Berlin Heidelberg
Year: 2001
Weight: 157 KB
Category: Article
ISBN: 3540416951
DOI: 10.1007/3-540-44693-1_45

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science – Theory and Applications Volume 3967 || Evidence Reconstruction of Epistemic Modal Logic S5

✍ Grigoriev, Dima; Harrison, John; Hirsch, Edward A. 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 339 KB

This book constitutes the refereed proceedings of the First International Symposium on Computer Science in Russia, CSR 2006. The 35 revised full theory papers and 29 revised application papers together with 3 invited talks address all major areas in computer science are addressed. The theory track d

[Lecture Notes in Computer Science] STAC

[Lecture Notes in Computer Science] STACS 2004 Volume 2996 || The Complexity of Satisfiability Problems over Finite Lattices

✍ Diekert, Volker; Habib, Michel 📂 Article 📅 2004 🏛 Springer Berlin Heidelberg ⚖ 212 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] STAC

[Lecture Notes in Computer Science] STACS 2003 Volume 2607 || The Commutation with Codes and Ternary Sets of Words

✍ Alt, Helmut; Habib, Michel 📂 Article 📅 2003 🏛 Springer Berlin Heidelberg 🌐 German ⚖ 200 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science Logic Volume 1258 || Call-by-Value, call-by-name and the logic of values

✍ Dalen, Dirk; Bezem, Marc 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 770 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 6014 || Model Checking Is Static Analysis of Modal Logic

✍ Ong, Luke 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 301 KB