LIPIcs, Volume 119, CSL 2018

• Dan Ghica and Achim Jung LIPIcs, Volume 119, CSL'18, Complete Volume 10.4230/LIPIcs.CSL.2018
• Dan R. Ghica and Achim Jung Front Matter, Table of Contents, Preface, Conference Organization 10.4230/LIPIcs.CSL.2018.0
• Dexter Kozen and Thomas Schwentick The Ackermann Award 2018 10.4230/LIPIcs.CSL.2018.1
• Samson Abramsky and Nihil Shah Relating Structure and Power: Comonadic Semantics for Computational Resources 10.4230/LIPIcs.CSL.2018.2
• Faried Abu Zaid, Dietrich Kuske, and Peter Lindner Climbing up the Elementary Complexity Classes with Theories of Automatic Structures 10.4230/LIPIcs.CSL.2018.3
• Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, and Marco Maggesi High-Level Signatures and Initial Semantics 10.4230/LIPIcs.CSL.2018.4
• Aurore Alcolei, Pierre Clairambault, Martin Hyland, and Glynn Winskel The True Concurrency of Herbrand's Theorem 10.4230/LIPIcs.CSL.2018.5
• Carlo Angiuli, Kuen-Bang Hou (Favonia), and Robert Harper Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities 10.4230/LIPIcs.CSL.2018.6
• Albert Atserias and Anuj Dawar Definable Inapproximability: New Challenges for Duplicator 10.4230/LIPIcs.CSL.2018.7
• Arnon Avron, Shahar Lev, and Nissan Levi Safety, Absoluteness, and Computability 10.4230/LIPIcs.CSL.2018.8
• Patrick Baillot and Alexis Ghyselen Combining Linear Logic and Size Types for Implicit Complexity 10.4230/LIPIcs.CSL.2018.9
• Nicolas Basset, Ismaël Jecker, Arno Pauly, Jean-François Raskin, and Marie Van den Bogaard Beyond Admissibility: Dominance Between Chains of Strategies 10.4230/LIPIcs.CSL.2018.10
• Nicolas Behr and Pawel Sobocinski Rule Algebras for Adhesive Categories 10.4230/LIPIcs.CSL.2018.11
• Manuel Bodirsky, Marcello Mamino, and Caterina Viola Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains 10.4230/LIPIcs.CSL.2018.12
• Filippo Bonchi, Jens Seeber, and Pawel Sobocinski Graphical Conjunctive Queries 10.4230/LIPIcs.CSL.2018.13
• Rohit Chadha, A. Prasad Sistla, and Mahesh Viswanathan Approximating Probabilistic Automata by Regular Languages 10.4230/LIPIcs.CSL.2018.14
• Jules Chouquet and Lionel Vaux Auclair An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets 10.4230/LIPIcs.CSL.2018.15
• Pierre Clairambault and Hugo Paquet Fully Abstract Models of the Probabilistic lambda-calculus 10.4230/LIPIcs.CSL.2018.16
• Liron Cohen and Reuben N. S. Rowe Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent 10.4230/LIPIcs.CSL.2018.17
• Anupam Das and Isabel Oitavem A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions 10.4230/LIPIcs.CSL.2018.18
• Anupam Das and Damien Pous Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices) 10.4230/LIPIcs.CSL.2018.19
• Anuj Dawar and Gregory Wilsenach Symmetric Circuits for Rank Logic 10.4230/LIPIcs.CSL.2018.20
• Paul Downen and Zena M. Ariola Beyond Polarity: Towards a Multi-Discipline Intermediate Language with Sharing 10.4230/LIPIcs.CSL.2018.21
• Flavio Ferrarotti, Jan Van den Bussche, and Jonni Virtema Expressivity Within Second-Order Transitive-Closure Logic 10.4230/LIPIcs.CSL.2018.22
• Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, and Sasha Rubin Quantifying Bounds in Strategy Logic 10.4230/LIPIcs.CSL.2018.23
• W. John Gowers and James D. Laird A Fully Abstract Game Semantics for Countable Nondeterminism 10.4230/LIPIcs.CSL.2018.24
• Erich Grädel and Matthias Hoelzel Dependency Concepts up to Equivalence 10.4230/LIPIcs.CSL.2018.25
• Béatrice Bérard, Patricia Bouyer, and Vincent Jugé Finite Bisimulations for Dynamical Systems with Overlapping Trajectories 10.4230/LIPIcs.CSL.2018.26
• Toru Kawata A Contextual Reconstruction of Monadic Reflection 10.4230/LIPIcs.CSL.2018.27
• Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, and Howard Straubing An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation 10.4230/LIPIcs.CSL.2018.28
• Aliaume Lopez and Alex Simpson Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular 10.4230/LIPIcs.CSL.2018.29
• Martin Lück Canonical Models and the Complexity of Modal Team Logic 10.4230/LIPIcs.CSL.2018.30
• P. Madhusudan, Umang Mathur, Shambwaditya Saha, and Mahesh Viswanathan A Decidable Fragment of Second Order Logic With Applications to Synthesis 10.4230/LIPIcs.CSL.2018.31
• Dan Marsden and Maaike Zwart Quantitative Foundations for Resource Theories 10.4230/LIPIcs.CSL.2018.32
• Guy McCusker and Alessio Santamaria On Compositionality of Dinatural Transformations 10.4230/LIPIcs.CSL.2018.33
• Daniel Neider, Alexander Weinert, and Martin Zimmermann Synthesizing Optimally Resilient Controllers 10.4230/LIPIcs.CSL.2018.34
• Rémi Nollet, Alexis Saurin, and Christine Tasson Local Validity for Circular Proofs in Linear Logic with Fixed Points 10.4230/LIPIcs.CSL.2018.35
• Sven Schewe, Alexander Weinert, and Martin Zimmermann Parity Games with Weights 10.4230/LIPIcs.CSL.2018.36
• Kazushige Terui MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics 10.4230/LIPIcs.CSL.2018.37