Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
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 |
|