The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

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

Publication years (Num. hits)
1986 (43) 1987 (38) 1988 (44) 1989 (42) 1990 (47) 1991 (41) 1992 (45) 1993 (44) 1994 (54) 1995 (49) 1996 (50) 1997 (40) 1998 (48) 1999 (47) 2000 (40) 2001 (43) 2002 (42) 2003 (40) 2004 (47) 2005 (56) 2006 (48) 2007 (45) 2008 (43) 2009 (44) 2010 (47) 2011 (44) 2012 (67) 2013 (63) 2015 (67) 2016 (90) 2017 (95) 2018 (96) 2019 (63)
Publication types (Num. hits)
inproceedings(1679) proceedings(33)
Venues (Conferences, Journals, ...)
LICS(1712)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 356 occurrences of 217 keywords

Results
Found 1712 publication records. Showing 1712 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Mathieu Huot, Sam Staton Quantum channels as a categorical completion. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christoph Haase, Georg Zetzsche Presburger arithmetic with stars, rational subsets of graph groups, and nested zero tests. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Place, Marc Zeitoun Separation and covering for group based concatenation hierarchies. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohammad-Javad Davari, Abbas Edalat, André Lieutier The convex hull of finitely generable subsets and its predicate transformer. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1S. Akshay, Paul Gastin, Vincent Jugé, Shankara Narayanan Krishna Timed Systems through the Lens of Logic. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1David Sprunger, Shin-ya Katsumata Differentiable Causal Computations via Delayed Trace. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Marcelo Fiore, Philip Saville A type theory for cartesian closed bicategories (Extended Abstract). Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Grohe, Daniel Neuen Canonisation and Definability for Graphs of Bounded Rank Width. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1 34th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2019, Vancouver, BC, Canada, June 24-27, 2019 Search on Bibsonomy LICS The full citation details ... 2019 DBLP  BibTeX  RDF
1Norine Coenen, Bernd Finkbeiner, Christopher Hahn, Jana Hofmann The Hierarchy of Hyperlogics. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Brendan Fong, David I. Spivak, Rémy Tuyéras Backprop as Functor: A compositional perspective on supervised learning. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Igor Walukiewicz Lambda Y-Calculus With Priorities. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Christel Baier, Nathalie Bertrand 0001, Jakob Piribauer, Ocan Sankur Long-run Satisfaction of Path Properties. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris When is Ontology-Mediated Querying Efficient? Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Simon Forest, Samuel Mimram Describing free $\omega$ -categories. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Libor Barto Promises Make Finite (Constraint Satisfaction) Problems Infinitary. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Naoki Kobayashi 0001, Ugo Dal Lago, Charles Grellois On the Termination Problem for Probabilistic Higher-Order Recursive Programs. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1David Reutter, Jamie Vicary High-level methods for homotopy construction in associative n-categories. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jean Goubault-Larrecq A Probabilistic and Non-Deterministic Call-by-Push-Value Language. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Clément Carbonnel, Miguel Romero 0001, Stanislav Zivny Point-width and Max-CSPs. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Brigitte Pientka, David Thibodeau, Andreas Abel 0001, Francisco Ferreira 0001, Rébecca Zucchini A Type Theory for Defining Logics and Proofs. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Cédric Ho Thanh, Pierre-Louis Curien, Samuel Mimram A Sequent Calculus for Opetopes. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Andrei A. Bulatov A short story of the CSP dichotomy conjecture. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Steffen van Bergerem Learning Concepts Definable in First-Order Logic with Counting. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nicola Pinzani, Stefano Gogioso, Bob Coecke Categorical Semantics for Time Travel. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Willem B. Heijltjes, Dominic J. D. Hughes, Lutz Straßburger Intuitionistic proofs without syntax. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Albert Atserias, Anuj Dawar, Joanna Ochremiak On the Power of Symmetric Linear Programs. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nicole Schweikardt Local normal forms and their use in algorithmic meta theorems (Invited Talk). Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Laurent Doyen 0001 Graph Planning with Expected Finite Horizon. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mikolaj Bojanczyk, Edon Kelmendi, Michal Skrzypczak MSO+∇ is undecidable. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Maaike Zwart, Dan Marsden No-Go Theorems for Distributive Laws. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin, Ichiro Hasuo Codensity Games for Bisimilarity. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Dominique Unruh Quantum Hoare Logic with Ghost Variables. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Clovis Eberhart, Bartek Klin History-Dependent Nominal μ-Calculus. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Manuel Bodirsky, Antoine Mottet, Miroslav Olsák, Jakub Oprsal, Michael Pinsker, Ross Willard Topology is relevant (in a dichotomy conjecture for infinite-domain constraint satisfaction problems). Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Orna Kupferman, Gal Vardi Perspective Games. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ugo Dal Lago, Naohiko Hoshino The Geometry of Bayesian Programming. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xiaohong Chen 0002, Grigore Rosu Matching μ-Logic. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tetsuya Sato, Gilles Barthe, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata Approximate Span Liftings: Compositional Semantics for Relaxations of Differential Privacy. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jean Christoph Jung, Fabio Papacchini, Frank Wolter, Michael Zakharyaschev Model Comparison Games for Horn Description Logics. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Robin Piedeleu, Pawel Sobocinski, Fabio Zanasi Graphical Affine Algebra. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Etienne Grandjean, Théo Grente Descriptive complexity for minimal time of cellular automata. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Florent Guépin, Christoph Haase, James Worrell 0001 On the Existential Theories of Büchi Arithmetic and Linear p-adic Fields. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1C.-H. Luke Ong, Dominik Wagner HoCHC: A Refutationally Complete and Semantically Invariant System of Higher-order Logic Modulo Theories. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart A Generic Normal Form for ZX-Diagrams and Application to the Rational Angle Completeness. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Arthur Azevedo de Amorim, Marco Gaboardi, Justin Hsu, Shin-ya Katsumata Probabilistic Relational Reasoning via Metrics. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sebastian Enqvist, Helle Hvid Hansen, Clemens Kupke, Johannes Marti, Yde Venema Completeness for Game Logic. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nathanael L. Ackerman, Jeremy Avigad, Cameron E. Freer, Daniel M. Roy 0001, Jason M. Rute Algorithmic barriers to representing conditional independence. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nicolai Kraus, Jakob von Raumer Path Spaces of Higher Inductive Types in Homotopy Type Theory. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bharat Adsul, Saptarshi Sarkar, A. V. Sreejith Block products for algebras over countable words and applications to logic. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Alejandro Díaz-Caro, Mauricio Guillermo, Alexandre Miquel, Benoît Valiron Realizability in the Unitary Sphere. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Patricia Johann, Andrew Polonsky Higher-Kinded Data Types: Syntax and Semantics. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Claudia Faggian, Simona Ronchi Della Rocca Lambda Calculus and Probabilistic Computation. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Jérôme Leroux, Sylvain Schmitz Reachability in Vector Addition Systems is Primitive-Recursive in Fixed Dimension. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Martin Avanzini, Ugo Dal Lago, Alexis Ghyselen Type-Based Complexity Analysis of Probabilistic Functional Programs. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Samson Abramsky, Rui Soares Barbosa, Martti Karvonen, Shane Mansfield A comonadic view of simulation and quantum resources. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Petr Jancar, Sylvain Schmitz Bisimulation Equivalence of First-Order Grammars is ACKERMANN-Complete. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Paul-André Melliès Template games and differential linear logic. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bartosz Bednarczyk, Stéphane Demri Why Propositional Quantification Makes Modal Logics on Trees Robustly Hard? Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stepan Kuznetsov The Logic of Action Lattices is Undecidable. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Renaud Vilmart A Near-Minimal Axiomatisation of ZX-Calculus for Pure Qubit Quantum Mechanics. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Moritz Lichter, Ilia Ponomarenko, Pascal Schweitzer Walk refinement, walk logic, and the iteration number of the Weisfeiler-Leman algorithm. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Ana Sokolova, Valeria Vignudelli The Theory of Traces for Systems with Nondeterminism and Probability. Search on Bibsonomy LICS The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nadish de Silva Logical paradoxes in quantum computation. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thierry Coquand Inner Models of Univalence. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Paul Wild, Lutz Schröder, Dirk Pattinson, Barbara König 0001 A van Benthem Theorem for Fuzzy Modal Logic. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthias Niewerth MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Guillaume Geoffroy Classical realizability as a classifier for nondeterminism. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dominic J. D. Hughes Unification nets: canonical proof net quantifiers. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matteo Mio Riesz Modal Logic with Threshold Operators. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kristina Sojakova, Patricia Johann A General Framework for Relational Parametricity. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Mikolaj Bojanczyk, Laure Daviaud, Shankara Narayanan Krishna Regular and First-Order List Functions. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ulrik Buchholtz, Kuen-Bang Hou (Favonia) Cellular Cohomology in Homotopy Type Theory. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Diego Figueira, M. Praveen Playing with Repetitions in Data Words Using Energy Games. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dan Frumin, Robbert Krebbers, Lars Birkedal ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Andreas Nuyts, Dominique Devriese Degrees of Relatedness: A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Manuel Bodirsky, Florent R. Madelaine, Antoine Mottet A universal-algebraic proof of the complexity dichotomy for Monotone Monadic SNP. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana Scott Boolean-Valued Semantics for the Stochastic λ-Calculus. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart A Complete Axiomatisation of the ZX-Calculus for Clifford+T Quantum Mechanics. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera 0001, Petr Novotný 0001, Dominik Velan, Florian Zuleger Efficient Algorithms for Asymptotic Bounds on Termination Time in VASS. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Thomas Powell 0001 A functional interpretation with state. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pierre Pradic, Colin Riba LMSO: A Curry-Howard Approach to Church's Synthesis via Linear Logic. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Blondin, Javier Esparza, Stefan Jaax, Antonín Kucera 0001 Black Ninjas in the Dark: Formal Analysis of Population Protocols. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Joël D. Allred, Ulrich Ultes-Nitsche A Simple and Optimal Complementation Algorithm for Büchi Automata. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ankush Das, Jan Hoffmann 0002, Frank Pfenning Work Analysis with Resource-Aware Session Types. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bruce M. Kapron, Florian Steinberg Type-two polynomial-time and restricted lookahead. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yijia Chen, Jörg Flum Tree-depth, quantifier elimination, and quantifier rank. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pierre Vial Every λ-Term is Meaningful for the Infinitary Relational Model. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jan Kretínský, Tobias Meggendorfer Conditional Value-at-Risk for Reachability and Mean Payoff in Markov Decision Processes. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Steve Awodey, Jonas Frey, Sam Speight Impredicative Encodings of (Higher) Inductive Types. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi Rewriting with Frobenius. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dror Fried, Axel Legay, Joël Ouaknine, Moshe Y. Vardi Sequential Relational Decomposition. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Peter W. O'Hearn Continuous Reasoning: Scaling the impact of formal methods. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Roberto Bruni, Hernán C. Melgratti, Ugo Montanari Concurrency and Probability: Removing Confusion, Compositionally. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Grzegorz Gluch, Jerzy Marcinkowski, Piotr Ostropolski-Nalewaja Can One Escape Red Chains?: Regular Path Queries Determinacy is Undecidable. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu Quasi-Open Bisimilarity with Mismatch is Intuitionistic. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin An Algebraic Theory of Markov Processes. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell 0001 Polynomial Invariants for Affine Programs. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michael Hahn 0001, Andreas Krebs, Howard Straubing Wreath Products of Distributive Forest Algebras. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yijia Chen, Moritz Müller, Keita Yokoyama A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. Search on Bibsonomy LICS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1712 (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