- 2015
- Martín Abadi:
The Prophecy of Timely Rollback (Invited Talk). CSL 2015: 1-1 - Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield:
Contextuality, Cohomology and Paradox. CSL 2015: 211-228 - Shahin Amini, Thomas Erhard:
On Classical PCF, Linear Logic and the MIX Rule. CSL 2015: 582-596 - Matthias Baaz, Christian G. Fermüller:
Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic. CSL 2015: 94-109 - David Baelde, Amina Doumane, Alexis Saurin:
Least and Greatest Fixed Points in Ludics. CSL 2015: 549-566 - Stefano Berardi:
Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness. CSL 2015: 343-358 - Simone Bova, Barnaby Martin:
First-Order Queries on Finite Abelian Groups. CSL 2015: 41-59 - Flavien Breuvart, Michele Pagani:
Modelling Coeffects in the Relational Semantics of Linear Logic. CSL 2015: 567-581 - Thomas Brihaye, Véronique Bruyère, Noémie Meunier, Jean-François Raskin:
Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability. CSL 2015: 504-518 - James Brotherston, Jules Villard:
Sub-classical Boolean Bunched Logics and the Meaning of Par. CSL 2015: 325-342 - Paolo Capriotti, Nicolai Kraus, Andrea Vezzosi:
Functions out of Higher Truncations. CSL 2015: 359-373 - Claudia Carapelle, Markus Lohrey:
Temporal Logics with Local Constraints (Invited Talk). CSL 2015: 2-13 - Olivier Carton, Luc Dartois:
Aperiodic Two-way Transducers and FO-Transductions. CSL 2015: 160-174 - Witold Charatonik, Piotr Witkowski:
Two-variable Logic with Counting and a Linear Order. CSL 2015: 631-647 - Lorenzo Clemente, Slawomir Lasota:
Reachability Analysis of First-order Definable Pushdown Systems. CSL 2015: 244-259 - Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse:
Evidence for Fixpoint Logic. CSL 2015: 78-93 - Anuj Dawar, Dexter Kozen, Simona Ronchi Della Rocca:
The Ackermann Award 2015. CSL 2015: xv-xviii - Anuj Dawar, Pengming Wang:
A Definability Dichotomy for Finite Valued CSPs. CSL 2015: 60-77 - Jacques Duparc, Kevin Fournier, Szczepan Hummel:
On Unambiguous Regular Tree Languages of Index (0, 2). CSL 2015: 534-548 - Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan:
Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes. CSL 2015: 374-389 - Adrià Gascón, Manfred Schmidt-Schauß, Ashish Tiwari:
Two-Restricted One Context Unification is in Polynomial Time. CSL 2015: 405-422 - Erich Grädel, Wied Pakusa:
Rank Logic is Dead, Long Live Rank Logic!. CSL 2015: 390-404 - Charles Grellois, Paul-André Melliès:
Relational Semantics of Linear Logic and Higher-order Model Checking. CSL 2015: 260-276 - Stefan Hetzl, Sebastian Zivota:
Tree Grammars for the Elimination of Non-prenex Cuts. CSL 2015: 110-127 - Lukasz Kaiser, Martin Lang, Simon Leßenich, Christof Löding:
A Unified Approach to Boundedness Properties in MSO. CSL 2015: 441-456 - Emanuel Kieronski, Antti Kuusisto:
Uniform One-Dimensional Fragments with One Equivalence Relation. CSL 2015: 597-615 - Felix Klein, Martin Zimmermann:
What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead. CSL 2015: 519-533 - Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer:
A Van Benthem Theorem for Modal Team Semantics. CSL 2015: 277-291 - Orna Kupferman, Gal Vardi:
On Relative and Probabilistic Finite Counterability. CSL 2015: 175-192 - Dietrich Kuske, Jiamou Liu, Anastasia Moskvina:
Infinite and Bi-infinite Words with Decidable Monadic Theories. CSL 2015: 472-486