[Lecture Notes in Computer Science] Computation and Logic in the Real World Volume 4497 || Computational Complexity of Constraint Satisfaction

[Lecture Notes in Computer Science] Lect

[Lecture Notes in Computer Science] Lectures on Logic and Computation Volume 7388 || A Short Introduction to Implicit Computational Complexity

✍ Bezhanishvili, Nick; Goranko, Valentin 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 290 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

[Lecture Notes in Computer Science] How

[Lecture Notes in Computer Science] How the World Computes Volume 7318 || Randomness, Computation and Mathematics

✍ Cooper, S. Barry; Dawar, Anuj; Löwe, Benedikt 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 302 KB

This book constitutes the refereed proceedings of the Turing Centenary Conference and the 8th Conference on Computability in Europe, CiE 2012, held in Cambridge, UK, in June 2012. The 53 revised papers presented together with 6 invited lectures were carefully reviewed and selected with an acceptance

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

[Lecture Notes in Computer Science] New

[Lecture Notes in Computer Science] New Directions in Logic, Language and Computation Volume 7415 || Embodied Quantifiers

✍ Lassiter, Daniel; Slavkovik, Marija 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 849 KB