share record
persistent URL:
Karoliina Lehtinen , Sandra Quickert : Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction. CSL 2015 : 457-471 share record
persistent URL:
Jiaxiang Liu , Jean-Pierre Jouannaud , Mizuhito Ogawa : Confluence of Layered Rewrite Systems. CSL 2015 : 423-440 share record
persistent URL:
Filip Mazowiecki , Cristian Riveros : Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata. CSL 2015 : 144-159 share record
persistent URL:
Damiano Mazza : Simple Parsimonious Types and Logarithmic Space. CSL 2015 : 24-40 share record
persistent URL:
Fabio Mogavero , Giuseppe Perelli : Binding Forms in First-Order Logic. CSL 2015 : 648-665 share record
persistent URL:
Alberto Molinari , Angelo Montanari , Adriano Peron : A Model Checking Procedure for Interval Temporal Logics based on Track Representatives. CSL 2015 : 193-210 share record
persistent URL:
Charles Paperman : Finite-Degree Predicates and Two-Variable First-Order Logic. CSL 2015 : 616-630 share record
persistent URL:
Sylvain Salvati , Igor Walukiewicz : A Model for Behavioural Properties of Higher-order Programs. CSL 2015 : 229-243 share record
persistent URL:
Katsuhiko Sano , Jonni Virtema : Axiomatizing Propositional Dependence Logics. CSL 2015 : 292-307 share record
persistent URL:
Aleksy Schubert , Wil Dekkers , Hendrik Pieter Barendregt : Automata Theoretic Account of Proof Search. CSL 2015 : 128-143 share record
persistent URL:
Thomas Schwentick , Nils Vortmeier , Thomas Zeume : Static Analysis for Logic-based Dynamic Programs. CSL 2015 : 308-324 share record
persistent URL:
Dmitriy Traytel : A Coalgebraic Decision Procedure for WS1S. CSL 2015 : 487-503 share record
persistent URL:
R. Ryan Williams : Thinking Algorithmically About Impossibility (Invited Talk). CSL 2015 : 14-23 share record
persistent URL:
Front Matter, Table of Contents, Preface, Conference Organisation, External Reviewers. CSL 2015 : i-xiv share record
persistent URL:
Stephan Kreutzer : 24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany. LIPIcs 41, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015 , ISBN 978-3-939897-90-3 [contents]