- Amaldev Manuel, Thomas Zeume:
Two-Variable Logic on 2-Dimensional Structures. CSL 2013: 484-499 - Yoshihiro Maruyama:
Categorical Duality Theory: With Applications to Domains, Convexity, and the Distribution Monad. CSL 2013: 500-520 - Marek Materzok
:
Axiomatizing Subtyped Delimited Continuations. CSL 2013: 521-539 - Paul-André Melliès:
On dialogue games and coherent strategies. CSL 2013: 540-562 - Jakub Michaliszyn
, Jan Otop
:
Elementary Modal Logics over Transitive Structures. CSL 2013: 563-577 - Susumu Nishimura:
A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables. CSL 2013: 578-596 - Isabel Oitavem
:
From determinism, non-determinism and alternation to recursion schemes for P, NP and Pspace (Invited Talk). CSL 2013: 24-27 - Lionel Rieg:
Extracting Herbrand trees in classical realizability using forcing. CSL 2013: 597-614 - Johannes Schmidt, Michal Wrona:
The Complexity of Abduction for Equality Constraint Languages. CSL 2013: 615-633 - Rick Statman:
A New Type Assignment for Strongly Normalizable Terms. CSL 2013: 634-652 - Lidia Tendera
:
Means and Limits of Decision (Invited Talk). CSL 2013: 28-29 - Qian Wang, Bruno Barras:
Semantics of Intensional Type Theory extended with Decidable Equational Theories. CSL 2013: 653-667 - Frontmatter, Table of Contents, Preface, Conference Organization. CSL 2013
- Simona Ronchi Della Rocca:
Computer Science Logic 2013 (CSL 2013), CSL 2013, September 2-5, 2013, Torino, Italy. LIPIcs 23, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2013, ISBN 978-3-939897-60-6 [contents]