✦ LIBER ✦

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 2030 || On Garbage and Program Logic

✍ Scribed by Honsell, Furio; Miculan, Marino

Book ID: 111681959
Publisher: Springer Berlin Heidelberg
Year: 2001
Weight: 167 KB
Category: Article
ISBN: 3540418644
DOI: 10.1007/3-540-45315-6_9

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computation Structures Volume 2030 || Axioms for Recursion in Call-by-Value

✍ Honsell, Furio; Miculan, Marino 📂 Article 📅 2001 🏛 Springer Berlin Heidelberg ⚖ 226 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] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 6604 || Realizability and Parametricity in Pure Type Systems

✍ Hofmann, Martin 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 250 KB

[Lecture Notes in Computer Science] Foun

[Lecture Notes in Computer Science] Foundations of Software Science and Computational Structures Volume 6604 || Regularity and Context-Freeness over Word Rewriting Systems

✍ Hofmann, Martin 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg ⚖ 244 KB

[Lecture Notes in Computer Science] Comp

[Lecture Notes in Computer Science] Computer Science Logic Volume 6247 || Exact Exploration and Hanging Algorithms

✍ Dawar, Anuj; Veith, Helmut 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 223 KB

[Lecture Notes in Computer Science] Lect

[Lecture Notes in Computer Science] Lectures on Logic and Computation Volume 7388 || Introduction to Judgment Aggregation

✍ Bezhanishvili, Nick; Goranko, Valentin 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 668 KB

The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in different sites around Europe. The main focus of ESSLLI is on the interface between linguistics, logic and computation. ESSLLI offers found