LIPIcs, Volume 41, CSL 2015

• Stephan Kreutzer LIPIcs, Volume 41, CSL'15, Complete Volume 10.4230/LIPIcs.CSL.2015
• Stephan Kreutzer Front Matter, Table of Contents, Preface, Conference Organisation, External Reviewers 10.4230/LIPIcs.CSL.2015.i
• Anuj Dawar, Dexter Kozen, and Simona Ronchi Della Rocca The Ackermann Award 2015 10.4230/LIPIcs.CSL.2015.xv
• Martín Abadi The Prophecy of Timely Rollback (Invited Talk) 10.4230/LIPIcs.CSL.2015.1
• Claudia Carapelle and Markus Lohrey Temporal Logics with Local Constraints (Invited Talk) 10.4230/LIPIcs.CSL.2015.2
• R. Ryan Williams Thinking Algorithmically About Impossibility (Invited Talk) 10.4230/LIPIcs.CSL.2015.14
• Damiano Mazza Simple Parsimonious Types and Logarithmic Space 10.4230/LIPIcs.CSL.2015.24
• Simone Bova and Barnaby Martin First-Order Queries on Finite Abelian Groups 10.4230/LIPIcs.CSL.2015.41
• Anuj Dawar and Pengming Wang A Definability Dichotomy for Finite Valued CSPs 10.4230/LIPIcs.CSL.2015.60
• Sjoerd Cranen, Bas Luttik, and Tim A. C. Willemse Evidence for Fixpoint Logic 10.4230/LIPIcs.CSL.2015.78
• Matthias Baaz and Christian G. Fermüller Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic 10.4230/LIPIcs.CSL.2015.94
• Stefan Hetzl and Sebastian Zivota Tree Grammars for the Elimination of Non-prenex Cuts 10.4230/LIPIcs.CSL.2015.110
• Aleksy Schubert, Wil Dekkers, and Henk P. Barendregt Automata Theoretic Account of Proof Search 10.4230/LIPIcs.CSL.2015.128
• Filip Mazowiecki and Cristian Riveros Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata 10.4230/LIPIcs.CSL.2015.144
• Olivier Carton and Luc Dartois Aperiodic Two-way Transducers and FO-Transductions 10.4230/LIPIcs.CSL.2015.160
• Orna Kupferman and Gal Vardi On Relative and Probabilistic Finite Counterability 10.4230/LIPIcs.CSL.2015.175
• Alberto Molinari, Angelo Montanari, and Adriano Peron A Model Checking Procedure for Interval Temporal Logics based on Track Representatives 10.4230/LIPIcs.CSL.2015.193
• Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, and Shane Mansfield Contextuality, Cohomology and Paradox 10.4230/LIPIcs.CSL.2015.211
• Sylvain Salvati and Igor Walukiewicz A Model for Behavioural Properties of Higher-order Programs 10.4230/LIPIcs.CSL.2015.229
• Lorenzo Clemente and Slawomir Lasota Reachability Analysis of First-order Definable Pushdown Systems 10.4230/LIPIcs.CSL.2015.244
• Charles Grellois and Paul-André Melliès Relational Semantics of Linear Logic and Higher-order Model Checking 10.4230/LIPIcs.CSL.2015.260
• Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, and Heribert Vollmer A Van Benthem Theorem for Modal Team Semantics 10.4230/LIPIcs.CSL.2015.277
• Katsuhiko Sano and Jonni Virtema Axiomatizing Propositional Dependence Logics 10.4230/LIPIcs.CSL.2015.292
• Thomas Schwentick, Nils Vortmeier, and Thomas Zeume Static Analysis for Logic-based Dynamic Programs 10.4230/LIPIcs.CSL.2015.308
• James Brotherston and Jules Villard Sub-classical Boolean Bunched Logics and the Meaning of Par 10.4230/LIPIcs.CSL.2015.325
• Stefano Berardi Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness 10.4230/LIPIcs.CSL.2015.343
• Paolo Capriotti, Nicolai Kraus, and Andrea Vezzosi Functions out of Higher Truncations 10.4230/LIPIcs.CSL.2015.359
• Murdoch J. Gabbay, Dan R. Ghica, and Daniela Petrisan Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes 10.4230/LIPIcs.CSL.2015.374
• Erich Grädel and Wied Pakusa Rank Logic is Dead, Long Live Rank Logic! 10.4230/LIPIcs.CSL.2015.390
• Adrià Gascón, Manfred Schmidt-Schauß, and Ashish Tiwari Two-Restricted One Context Unification is in Polynomial Time 10.4230/LIPIcs.CSL.2015.405
• Jiaxiang Liu, Jean-Pierre Jouannaud, and Mizuhito Ogawa Confluence of Layered Rewrite Systems 10.4230/LIPIcs.CSL.2015.423
• Lukasz Kaiser, Martin Lang, Simon Leßenich, and Christof Löding A Unified Approach to Boundedness Properties in MSO 10.4230/LIPIcs.CSL.2015.441
• Karoliina Lehtinen and Sandra Quickert Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction 10.4230/LIPIcs.CSL.2015.457
• Dietrich Kuske, Jiamou Liu, and Anastasia Moskvina Infinite and Bi-infinite Words with Decidable Monadic Theories 10.4230/LIPIcs.CSL.2015.472
• Dmitriy Traytel A Coalgebraic Decision Procedure for WS1S 10.4230/LIPIcs.CSL.2015.487
• Thomas Brihaye, Véronique Bruyère, Noémie Meunier, and Jean-Francois Raskin Weak Subgame Perfect Equilibria and their Application to Quantitative Reachability 10.4230/LIPIcs.CSL.2015.504
• Felix Klein and Martin Zimmermann What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead 10.4230/LIPIcs.CSL.2015.519
• Jacques Duparc, Kevin Fournier, and Szczepan Hummel On Unambiguous Regular Tree Languages of Index (0,2) 10.4230/LIPIcs.CSL.2015.534
• David Baelde, Amina Doumane, and Alexis Saurin Least and Greatest Fixed Points in Ludics 10.4230/LIPIcs.CSL.2015.549
• Flavien Breuvart and Michele Pagani Modelling Coeffects in the Relational Semantics of Linear Logic 10.4230/LIPIcs.CSL.2015.567
• Shahin Amini and Thomas Erhard On Classical PCF, Linear Logic and the MIX Rule 10.4230/LIPIcs.CSL.2015.582
• Emanuel Kierónski and Antti Kuusisto Uniform One-Dimensional Fragments with One Equivalence Relation 10.4230/LIPIcs.CSL.2015.597
• Charles Paperman Finite-Degree Predicates and Two-Variable First-Order Logic 10.4230/LIPIcs.CSL.2015.616
• Witold Charatonik and Piotr Witkowski Two-variable Logic with Counting and a Linear Order 10.4230/LIPIcs.CSL.2015.631
• Fabio Mogavero and Giuseppe Perelli Binding Forms in First-Order Logic 10.4230/LIPIcs.CSL.2015.648