The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

URL (DBLP): http://dblp.uni-trier.de/db/conf/csl

Publication years (Num. hits)
1987 (24) 1988 (25) 1989 (29) 1990 (25) 1991 (33) 1992 (27) 1993 (23) 1994 (39) 1995 (28) 1996 (29) 1997 (31) 1998 (29) 1999 (43) 2000 (37) 2001 (43) 2002 (41) 2003 (49) 2004 (39) 2005 (40) 2006 (42) 2007 (44) 2008 (37) 2009 (41) 2010 (42) 2011 (44) 2012 (42) 2013 (44) 2015 (45) 2016 (44) 2017 (44) 2018 (39)
Publication types (Num. hits)
inproceedings(1111) proceedings(31)
Venues (Conferences, Journals, ...)
CSL(1142)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 245 occurrences of 161 keywords

Results
Found 1142 publication records. Showing 1142 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Filippo Bonchi, Jens Seeber, Pawel Sobocinski Graphical Conjunctive Queries. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Arnon Avron, Shahar Lev, Nissan Levi Safety, Absoluteness, and Computability. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1William John Gowers, James David Laird A Fully Abstract Game Semantics for Countable Nondeterminism. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Gregory Wilsenach Symmetric Circuits for Rank Logic. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Krebs, Kamal Lodaya, Paritosh K. Pandya, Howard Straubing An Algebraic Decision Procedure for Two-Variable Logic with a Between Relation. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nathanaël Fijalkow, Bastien Maubert, Aniello Murano, Sasha Rubin Quantifying Bounds in Strategy Logic. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1 Front Matter, Table of Contents, Preface, Conference Organization. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Samson Abramsky, Nihil Shah Relating Structure and Power: Comonadic Semantics for Computational Resources. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Albert Atserias, Anuj Dawar Definable Inapproximability: New Challenges for Duplicator. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pierre Clairambault, Hugo Paquet Fully Abstract Models of the Probabilistic lambda-calculus. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aurore Alcolei, Pierre Clairambault, Martin Hyland, Glynn Winskel The True Concurrency of Herbrand's Theorem. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Flavio Ferrarotti, Jan Van den Bussche, Jonni Virtema Expressivity Within Second-Order Transitive-Closure Logic. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kazushige Terui MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicolas Behr, Pawel Sobocinski Rule Algebras for Adhesive Categories. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul Downen, Zena M. Ariola Beyond Polarity: Towards a Multi-Discipline Intermediate Language with Sharing. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Patrick Baillot, Alexis Ghyselen Combining Linear Logic and Size Types for Implicit Complexity. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Martin Lück Canonical Models and the Complexity of Modal Team Logic. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manuel Bodirsky, Marcello Mamino, Caterina Viola Submodular Functions and Valued Constraint Satisfaction Problems over Infinite Domains. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Béatrice Bérard, Patricia Bouyer, Vincent Jugé Finite Bisimulations for Dynamical Systems with Overlapping Trajectories. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1P. Madhusudan, Umang Mathur, Shambwaditya Saha, Mahesh Viswanathan 0001 A Decidable Fragment of Second Order Logic With Applications to Synthesis. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dan R. Ghica, Achim Jung (eds.) 27th EACSL Annual Conference on Computer Science Logic, CSL 2018, September 4-7, 2018, Birmingham, UK Search on Bibsonomy CSL The full citation details ... 2018 DBLP  BibTeX  RDF
1Toru Kawata A Contextual Reconstruction of Monadic Reflection. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Aliaume Lopez, Alex Simpson Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Liron Cohen 0001, Reuben N. S. Rowe Uniform Inductive Reasoning in Transitive Closure Logic via Infinite Descent. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guy McCusker, Alessio Santamaria On Compositionality of Dinatural Transformations. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sven Schewe, Alexander Weinert, Martin Zimmermann 0002 Parity Games with Weights. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Erich Grädel, Matthias Hoelzel Dependency Concepts up to Equivalence. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anupam Das 0002, Isabel Oitavem A Recursion-Theoretic Characterisation of the Positive Polynomial-Time Functions. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rémi Nollet, Alexis Saurin, Christine Tasson Local Validity for Circular Proofs in Linear Logic with Fixed Points. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicolas Basset, Ismaël Jecker, Arno Pauly, Jean-François Raskin, Marie van den Bogaard Beyond Admissibility: Dominance Between Chains of Strategies. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Anupam Das 0002, Damien Pous Non-Wellfounded Proof Theory For (Kleene+Action)(Algebras+Lattices). Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi High-Level Signatures and Initial Semantics. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Faried Abu Zaid, Dietrich Kuske, Peter Lindner Climbing up the Elementary Complexity Classes with Theories of Automatic Structures. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Carlo Angiuli, Kuen-Bang Hou (Favonia), Robert Harper 0001 Cartesian Cubical Computational Type Theory: Constructive Reasoning with Paths and Equalities. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Neider, Alexander Weinert, Martin Zimmermann 0002 Synthesizing Optimally Resilient Controllers. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jules Chouquet, Lionel Vaux Auclair An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan 0001 Approximating Probabilistic Automata by Regular Languages. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dexter Kozen, Thomas Schwentick The Ackermann Award 2018. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dan Marsden, Maaike Zwart Quantitative Foundations for Resource Theories. Search on Bibsonomy CSL The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1 Front Matter, Table of Contents, Preface, Conference Organization, External Reviewers. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Faried Abu Zaid, Erich Grädel, Frederic Reinhardt Advice Automatic Structures and Uniformly Automatic Classes. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Olivier Carton, Olivier Finkel, Dominique Lecomte Polishness of Some Topologies Related to Automata. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1J. Robin B. Cockett, Jean-Simon Lemay Integral Categories and Calculus Categories. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Koko Muroya, Dan R. Ghica The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Maria João Gouveia, Luigi Santocanale Aleph1 and the Modal mu-Calculus. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Margus Veanes Symbolic Automata Theory with Applications (Invited Talk). Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrea Aler Tubella, Alessio Guglielmi, Benjamin Ralph Removing Cycles from Proofs. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joseph Boudou Decidable Logics with Associative Binary Modalities. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Lionel Vaux Taylor Expansion, lambda-Reduction and Normalization. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Erich Grädel, Benedikt Pago, Wied Pakusa The Model-Theoretic Expressiveness of Propositional Proof Systems. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dana Angluin, Timos Antonopoulos, Dana Fisman Query Learning of Derived Omega-Tree Languages in Polynomial Time. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Oleg Verbitsky, Maksim Zhukovskii On the First-Order Complexity of Induced Subgraph Isomorphism. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wolfgang Thomas Determinacy of Infinite Games: Perspectives of the Algorithmic Approach (Invited Talk). Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martin Lück The Power of the Filtration Technique for Modal Logics with Team Semantics. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Rostislav Horcík, Tommaso Moraschini, Amanda Vidal An Algebraic Approach to Valued Constraint Satisfaction. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Stephan Kreutzer Current Trends and New Perspectives for First-Order Model Checking (Invited Talk). Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wan J. Fokkink, Rob J. van Glabbeek Precongruence Formats with Lookahead through Modal Decomposition. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abhisekh Sankaran A Finitary Analogue of the Downward Löwenheim-Skolem Property. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Davide Bresolin, Emilio Muñoz-Velasco, Guido Sciavicco Fast(er) Reasoning in Interval Temporal Logic. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bartek Klin, Mateusz Lelyk Modal mu-Calculus with Atoms. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joseph Boudou, Martín Diéguez, David Fernández-Duque A Decidable Intuitionistic Temporal Logic. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mateus de Oliveira Oliveira On Supergraphs Satisfying CMSO Properties. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alice Pavaux Inductive and Functional Types in Ludics. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Marc de Visme, Glynn Winskel Strategies with Parallel Causes. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Célia Borlido, Silke Czarnetzki, Mai Gehrke, Andreas Krebs Stone Duality and the Substitution Principle. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Gerco van Heerdt, Matteo Sammartino, Alexandra Silva 0001 CALF: Categorical Automata Learning Framework. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Yijia Chen, Jörg Flum, Xuangui Huang Slicewise Definability in First-Order Logic with Bounded Quantifier Rank. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Laura Kovács First-Order Interpolation and Grey Areas of Proofs (Invited Talk). Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Veronika Loitzenbauer Improved Set-Based Symbolic Algorithms for Parity Games. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Martín Hötzel Escardó, Cory M. Knapp Partial Elements and Recursion via Dominances in Univalent Type Theory. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthew de Brecht, Arno Pauly Noetherian Quasi-Polish spaces. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wilmer Ricciotti, James Cheney Strongly Normalizing Audited Computation. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Berit Grußien Capturing Logarithmic Space and Polynomial Time on Chordal Claw-Free Graphs. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Miika Hannula Validity and Entailment in Modal and Propositional Dependence Logics. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Bartosz Bednarczyk, Witold Charatonik, Emanuel Kieronski Extending Two-Variable Logic on Trees. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Phokion G. Kolaitis Schema Mappings: Structural Properties and Limits (Invited Talk). Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Benedikt Ahrens, Peter LeFanu Lumsdaine, Vladimir Voevodsky Categorical Structures for Type Theory in Univalent Foundations. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dan R. Ghica, Achim Jung, Aliaume Lopez Diagrammatic Semantics for Digital Circuits. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ulysse Gérard, Dale Miller 0001 Separating Functional Computation from Relations. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Meena Mahajan Arithmetic Circuits: An Overview (Invited Talk). Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Valentin Goranko, Mads Dam (eds.) 26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20-24, 2017, Stockholm, Sweden Search on Bibsonomy CSL The full citation details ... 2017 DBLP  BibTeX  RDF
1Anuj Dawar, Daniel Leivant The Ackermann Award 2017. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Udi Boker On the (In)Succinctness of Muller Automata. Search on Bibsonomy CSL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Ian Orton, Andrew M. Pitts Axioms for Modelling Cubical Type Theory in a Topos. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Baelde, Simon Lunel, Sylvain Schmitz A Sequent Calculus for a Modal Logic on Finite Data Trees. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Pawel Parys, Szymon Torunczyk Models of Lambda-Calculus and the Weak MSO Logic. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Rajeev Alur, Marco Faella, Sampath Kannan, Nimit Singhania Hedging Bets in Markov Decision Processes. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jean-Louis Krivine Bar Recursion in Classical Realisability: Dependent Choice and Continuum Hypothesis. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Erich Grädel, Stefan Hegselmann Counting in Team Semantics. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Agata Ciabattoni Analytic Calculi for Non-Classical Logics: Theory and Applications. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Alexander Weinert, Martin Zimmermann 0002 Easy to Win, Hard to Master: Optimal Strategies in Parity Games with Costs. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Thierry Coquand, Anuj Dawar The Ackermann Award 2016. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Ian Pratt-Hartmann, Wieslaw Szwast, Lidia Tendera Quine's Fluted Fragment is Non-Elementary. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Lars Birkedal, Ales Bizjak, Ranald Clouston, Hans Bugge Grathwohl, Bas Spitters, Andrea Vezzosi Guarded Cubical Type Theory: Path Equality for Guarded Recursion. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Paulo Tabuada, Daniel Neider Robust Linear Temporal Logic. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Arnaud Durand 0001, Anselm Haak, Juha Kontinen, Heribert Vollmer Descriptive Complexity of #AC0 Functions. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Prateek Karandikar, Philippe Schnoebelen The Height of Piecewise-Testable Languages with Applications in Logical Complexity. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1David Baelde, Amina Doumane, Alexis Saurin Infinitary Proof Theory: the Multiplicative Additive Case. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Wied Pakusa, Svenja Schalthöfer, Erkal Selman Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Hubie Chen, Peter Mayr Quantified Constraint Satisfaction on Monoids. Search on Bibsonomy CSL The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1142 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license