Search results for "CSL"

Hits ?▲	Authors	Title	Venue	Year	Link
1	Ulrich Berger 0001	Extracting Non-Deterministic Concurrent Programs.	CSL	2016	DBLP DOI BibTeX RDF
1	Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi	Guarded Cubical Type Theory: Path Equality for Guarded Recursion.	CSL	2016	DBLP DOI BibTeX RDF
1	Arnaud Durand 0001, Anselm Haak, Juha Kontinen, Heribert Vollmer	Descriptive Complexity of #AC0 Functions.	CSL	2016	DBLP DOI BibTeX RDF
1	Rajeev Alur, Marco Faella, Sampath Kannan, Nimit Singhania	Hedging Bets in Markov Decision Processes.	CSL	2016	DBLP DOI BibTeX RDF
1	Jean-Louis Krivine	Bar Recursion in Classical Realisability: Dependent Choice and Continuum Hypothesis.	CSL	2016	DBLP DOI BibTeX RDF
1	Tomer Kotek, Helmut Veith, Florian Zuleger	Monadic Second Order Finite Satisfiability and Unbounded Tree-Width.	CSL	2016	DBLP DOI BibTeX RDF
1	David Baelde, Simon Lunel, Sylvain Schmitz	A Sequent Calculus for a Modal Logic on Finite Data Trees.	CSL	2016	DBLP DOI BibTeX RDF
1	Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq	The Directed Homotopy Hypothesis.	CSL	2016	DBLP DOI BibTeX RDF
1	Prateek Karandikar, Philippe Schnoebelen	The Height of Piecewise-Testable Languages with Applications in Logical Complexity.	CSL	2016	DBLP DOI BibTeX RDF
1	Erich Grädel, Stefan Hegselmann	Counting in Team Semantics.	CSL	2016	DBLP DOI BibTeX RDF
1	Shaull Almagor, Orna Kupferman	High-Quality Synthesis Against Stochastic Environments.	CSL	2016	DBLP DOI BibTeX RDF
1	Albert Atserias, Szymon Torunczyk	Non-Homogenizable Classes of Finite Structures.	CSL	2016	DBLP DOI BibTeX RDF
1	Hubie Chen, Peter Mayr 0001	Quantified Constraint Satisfaction on Monoids.	CSL	2016	DBLP DOI BibTeX RDF
1	Akihisa Yamada 0002, Christian Sternagel, René Thiemann, Keiichirou Kusakari	AC Dependency Pairs Revisited.	CSL	2016	DBLP DOI BibTeX RDF
1	Leszek Aleksander Kolodziejczyk, Henryk Michalewski, Cécilia Pradic, Michal Skrzypczak	The Logical Strength of Büchi's Decidability Theorem.	CSL	2016	DBLP DOI BibTeX RDF
1	David Baelde, Amina Doumane, Alexis Saurin	Infinitary Proof Theory: the Multiplicative Additive Case.	CSL	2016	DBLP DOI BibTeX RDF
1	Libor Barto	Infinite Domain Constraint Satisfaction Problem.	CSL	2016	DBLP DOI BibTeX RDF
1	Thorsten Altenkirch, Paolo Capriotti, Nicolai Kraus	Extending Homotopy Type Theory with Strict Equality.	CSL	2016	DBLP DOI BibTeX RDF
1	Hans Leiss	The Matrix Ring of a μ-Continuous Chomsky Algebra is mu-Continuous.	CSL	2016	DBLP DOI BibTeX RDF
1	Emanuel Kieronski	One-Dimensional Logic over Words.	CSL	2016	DBLP DOI BibTeX RDF
1	Ian Orton, Andrew M. Pitts	Axioms for Modelling Cubical Type Theory in a Topos.	CSL	2016	DBLP DOI BibTeX RDF
1		Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers.	CSL	2016	DBLP DOI BibTeX RDF
1	Moses Ganardi, Stefan Göller, Markus Lohrey	On the Parallel Complexity of Bisimulation on Finite Systems.	CSL	2016	DBLP DOI BibTeX RDF
1	Martin Lück	Axiomatizations for Propositional and Modal Team Logic.	CSL	2016	DBLP DOI BibTeX RDF
1	Thierry Coquand, Anuj Dawar	The Ackermann Award 2016.	CSL	2016	DBLP DOI BibTeX RDF
1	Sebastian Enqvist, Fatemeh Seifan, Yde Venema	Completeness for Coalgebraic Fixpoint Logic.	CSL	2016	DBLP DOI BibTeX RDF
1	Pawel Parys, Szymon Torunczyk	Models of Lambda-Calculus and the Weak MSO Logic.	CSL	2016	DBLP DOI BibTeX RDF
1	Michael Elberfeld	Context-Free Graph Properties via Definable Decompositions.	CSL	2016	DBLP DOI BibTeX RDF
1	Anca Muscholl	Automated Synthesis: Going Distributed.	CSL	2016	DBLP DOI BibTeX RDF
1	Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera	Quine's Fluted Fragment is Non-Elementary.	CSL	2016	DBLP DOI BibTeX RDF
1	Kuen-Bang Hou (Favonia), Michael Shulman	The Seifert-van Kampen Theorem in Homotopy Type Theory.	CSL	2016	DBLP DOI BibTeX RDF
1	Patrick Baillot, Anupam Das 0002	Free-Cut Elimination in Linear Logic and an Application to a Feasible Arithmetic.	CSL	2016	DBLP DOI BibTeX RDF
1	Jean-Marc Talbot, Laurent Regnier (eds.)	25th EACSL Annual Conference on Computer Science Logic, CSL 2016, August 29 - September 1, 2016, Marseille, France	CSL	2016	DBLP BibTeX RDF
1	Daniel de Carvalho	The Relational Model Is Injective for Multiplicative Exponential Linear Logic.	CSL	2016	DBLP DOI BibTeX RDF
1	Gergei Bana, Mitsuhiro Okada	Semantics for "Enough-Certainty" and Fitting's Embedding of Classical Logic in S4.	CSL	2016	DBLP DOI BibTeX RDF
1	Jiaxiang Liu 0001, Jean-Pierre Jouannaud, Mizuhito Ogawa	Confluence of Layered Rewrite Systems.	CSL	2015	DBLP DOI BibTeX RDF
1	Charles Paperman	Finite-Degree Predicates and Two-Variable First-Order Logic.	CSL	2015	DBLP DOI BibTeX RDF
1	Adrià Gascón, Manfred Schmidt-Schauß, Ashish Tiwari 0001	Two-Restricted One Context Unification is in Polynomial Time.	CSL	2015	DBLP DOI BibTeX RDF
1	Stefan Hetzl, Sebastian Zivota	Tree Grammars for the Elimination of Non-prenex Cuts.	CSL	2015	DBLP DOI BibTeX RDF
1	Flavien Breuvart, Michele Pagani	Modelling Coeffects in the Relational Semantics of Linear Logic.	CSL	2015	DBLP DOI BibTeX RDF
1	Paolo Capriotti, Nicolai Kraus, Andrea Vezzosi	Functions out of Higher Truncations.	CSL	2015	DBLP DOI BibTeX RDF
1	Filip Mazowiecki, Cristian Riveros	Maximal Partition Logic: Towards a Logical Characterization of Copyless Cost Register Automata.	CSL	2015	DBLP DOI BibTeX RDF
1		Front Matter, Table of Contents, Preface, Conference Organisation, External Reviewers.	CSL	2015	DBLP DOI BibTeX RDF
1	Murdoch James Gabbay, Dan R. Ghica, Daniela Petrisan	Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes.	CSL	2015	DBLP DOI BibTeX RDF
1	Stefano Berardi	Classical and Intuitionistic Arithmetic with Higher Order Comprehension Coincide on Inductive Well-Foundedness.	CSL	2015	DBLP DOI BibTeX RDF
1	Witold Charatonik, Piotr Witkowski 0001	Two-variable Logic with Counting and a Linear Order.	CSL	2015	DBLP DOI BibTeX RDF
1	Alberto Molinari, Angelo Montanari, Adriano Peron	A Model Checking Procedure for Interval Temporal Logics based on Track Representatives.	CSL	2015	DBLP DOI BibTeX RDF
1	Lorenzo Clemente, Slawomir Lasota 0001	Reachability Analysis of First-order Definable Pushdown Systems.	CSL	2015	DBLP DOI BibTeX RDF
1	Dmitriy Traytel	A Coalgebraic Decision Procedure for WS1S.	CSL	2015	DBLP DOI BibTeX RDF
1	Emanuel Kieronski, Antti Kuusisto	Uniform One-Dimensional Fragments with One Equivalence Relation.	CSL	2015	DBLP DOI BibTeX RDF
1	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	DBLP DOI BibTeX RDF
1	Anuj Dawar, Dexter Kozen, Simona Ronchi Della Rocca	The Ackermann Award 2015.	CSL	2015	DBLP DOI BibTeX RDF
1	Martín Abadi	The Prophecy of Timely Rollback (Invited Talk).	CSL	2015	DBLP DOI BibTeX RDF
1	Shahin Amini, Thomas Erhard	On Classical PCF, Linear Logic and the MIX Rule.	CSL	2015	DBLP DOI BibTeX RDF
1	Stephan Kreutzer (eds.)	24th EACSL Annual Conference on Computer Science Logic, CSL 2015, September 7-10, 2015, Berlin, Germany	CSL	2015	DBLP BibTeX RDF
1	Matthias Baaz, Christian G. Fermüller	Elementary Elimination of Prenex Cuts in Disjunction-free Intuitionistic Logic.	CSL	2015	DBLP DOI BibTeX RDF
1	R. Ryan Williams	Thinking Algorithmically About Impossibility (Invited Talk).	CSL	2015	DBLP DOI BibTeX RDF
1	Samson Abramsky, Rui Soares Barbosa, Kohei Kishida, Raymond Lal, Shane Mansfield	Contextuality, Cohomology and Paradox.	CSL	2015	DBLP DOI BibTeX RDF
1	Katsuhiko Sano, Jonni Virtema	Axiomatizing Propositional Dependence Logics.	CSL	2015	DBLP DOI BibTeX RDF
1	Fabio Mogavero, Giuseppe Perelli	Binding Forms in First-Order Logic.	CSL	2015	DBLP DOI BibTeX RDF
1	Juha Kontinen, Julian-Steffen Müller, Henning Schnoor, Heribert Vollmer	A Van Benthem Theorem for Modal Team Semantics.	CSL	2015	DBLP DOI BibTeX RDF
1	Sjoerd Cranen, Bas Luttik, Tim A. C. Willemse	Evidence for Fixpoint Logic.	CSL	2015	DBLP DOI BibTeX RDF
1	Dietrich Kuske, Jiamou Liu, Anastasia Moskvina	Infinite and Bi-infinite Words with Decidable Monadic Theories.	CSL	2015	DBLP DOI BibTeX RDF
1	Claudia Carapelle, Markus Lohrey	Temporal Logics with Local Constraints (Invited Talk).	CSL	2015	DBLP DOI BibTeX RDF
1	Karoliina Lehtinen, Sandra Quickert	Deciding the First Levels of the Modal mu Alternation Hierarchy by Formula Construction.	CSL	2015	DBLP DOI BibTeX RDF
1	Lukasz Kaiser, Martin Lang 0001, Simon Leßenich, Christof Löding	A Unified Approach to Boundedness Properties in MSO.	CSL	2015	DBLP DOI BibTeX RDF
1	Sylvain Salvati, Igor Walukiewicz	A Model for Behavioural Properties of Higher-order Programs.	CSL	2015	DBLP DOI BibTeX RDF
1	Aleksy Schubert, Wil Dekkers, Hendrik Pieter Barendregt	Automata Theoretic Account of Proof Search.	CSL	2015	DBLP DOI BibTeX RDF
1	Charles Grellois, Paul-André Melliès	Relational Semantics of Linear Logic and Higher-order Model Checking.	CSL	2015	DBLP DOI BibTeX RDF
1	David Baelde, Amina Doumane, Alexis Saurin	Least and Greatest Fixed Points in Ludics.	CSL	2015	DBLP DOI BibTeX RDF
1	James Brotherston, Jules Villard	Sub-classical Boolean Bunched Logics and the Meaning of Par.	CSL	2015	DBLP DOI BibTeX RDF
1	Orna Kupferman, Gal Vardi	On Relative and Probabilistic Finite Counterability.	CSL	2015	DBLP DOI BibTeX RDF
1	Damiano Mazza	Simple Parsimonious Types and Logarithmic Space.	CSL	2015	DBLP DOI BibTeX RDF
1	Anuj Dawar, Pengming Wang 0001	A Definability Dichotomy for Finite Valued CSPs.	CSL	2015	DBLP DOI BibTeX RDF
1	Olivier Carton, Luc Dartois	Aperiodic Two-way Transducers and FO-Transductions.	CSL	2015	DBLP DOI BibTeX RDF
1	Thomas Schwentick, Nils Vortmeier, Thomas Zeume	Static Analysis for Logic-based Dynamic Programs.	CSL	2015	DBLP DOI BibTeX RDF
1	Felix Klein 0001, Martin Zimmermann 0002	What are Strategies in Delay Games? Borel Determinacy for Games with Lookahead.	CSL	2015	DBLP DOI BibTeX RDF
1	Simone Bova, Barnaby Martin	First-Order Queries on Finite Abelian Groups.	CSL	2015	DBLP DOI BibTeX RDF
1	Jacques Duparc, Kevin Fournier, Szczepan Hummel	On Unambiguous Regular Tree Languages of Index (0, 2).	CSL	2015	DBLP DOI BibTeX RDF
1	Erich Grädel, Wied Pakusa	Rank Logic is Dead, Long Live Rank Logic!.	CSL	2015	DBLP DOI BibTeX RDF
1	Antti Kuusisto	Modal Logic and Distributed Message Passing Automata.	CSL	2013	DBLP DOI BibTeX RDF
1	Federico Aschieri, Stefano Berardi, Giovanni Birolo	Realizability and Strong Normalization for a Curry-Howard Interpretation of HA + EM1.	CSL	2013	DBLP DOI BibTeX RDF
1	Thomas Colcombet, Denis Kuperberg, Christof Löding, Michael Vanden Boom	Deciding the weak definability of Büchi definable tree languages.	CSL	2013	DBLP DOI BibTeX RDF
1	Rick Statman	A New Type Assignment for Strongly Normalizable Terms.	CSL	2013	DBLP DOI BibTeX RDF
1	Pietro Galliani, Lauri Hella	Inclusion Logic and Fixed Point Logic.	CSL	2013	DBLP DOI BibTeX RDF
1	Paul-André Melliès	On dialogue games and coherent strategies.	CSL	2013	DBLP DOI BibTeX RDF
1	Marcin Bilkowski, Michal Skrzypczak	Unambiguity and uniformization problems on infinite trees.	CSL	2013	DBLP DOI BibTeX RDF
1	Krishnendu Chatterjee, Nathanaël Fijalkow	Infinite-state games with finitary conditions.	CSL	2013	DBLP DOI BibTeX RDF
1	Frederik Harwath, Nicole Schweikardt	On the locality of arb-invariant first-order logic with modulo counting quantifiers.	CSL	2013	DBLP DOI BibTeX RDF
1	Amaldev Manuel, Thomas Zeume	Two-Variable Logic on 2-Dimensional Structures.	CSL	2013	DBLP DOI BibTeX RDF
1	Julian C. Bradfield	Team building in dependence.	CSL	2013	DBLP DOI BibTeX RDF
1	Pierre Boudes, Fanny He, Michele Pagani	A characterization of the Taylor expansion of lambda-terms.	CSL	2013	DBLP DOI BibTeX RDF
1	Susumu Nishimura	A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables.	CSL	2013	DBLP DOI BibTeX RDF
1	Daniel Leivant	Global semantic typing for inductive and coinductive computing.	CSL	2013	DBLP DOI BibTeX RDF
1	Christopher Hampson, Agi Kurucz	One-variable first-order linear temporal logics with counting.	CSL	2013	DBLP DOI BibTeX RDF
1	Paul Hunter	When is Metric Temporal Logic Expressively Complete?.	CSL	2013	DBLP DOI BibTeX RDF
1	Kentaro Kikuchi	Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus.	CSL	2013	DBLP DOI BibTeX RDF
1	Jakub Michaliszyn, Jan Otop	Elementary Modal Logics over Transitive Structures.	CSL	2013	DBLP DOI BibTeX RDF
1	Nachum Dershowitz	Res Publica: The Universal Model of Computation (Invited Talk).	CSL	2013	DBLP DOI BibTeX RDF
1	Pietro Di Gianantonio, Marina Lenisa	Innocent Game Semantics via Intersection Type Assignment Systems.	CSL	2013	DBLP DOI BibTeX RDF

Publications at "CSL"( http://dblp.L3S.de/Venues/CSL )