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) 2020 (74) 2021 (96) 2022 (65)
Publication types (Num. hits)
inproceedings(1911) proceedings(36)
Venues (Conferences, Journals, ...)
LICS(1947)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 356 occurrences of 217 keywords

Results
Found 1947 publication records. Showing 1947 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Pascal Bergsträßer, Moses Ganardi, Anthony W. Lin, Georg Zetzsche Ramsey Quantifiers over Automatic Structures: Complexity and Applications to Verification. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Guillaume Geoffroy A first-order completeness result about characteristic Boolean algebras in classical realizability. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Moses Ganardi, Rupak Majumdar, Georg Zetzsche The Complexity of Bidirected Reachability in Valence Systems. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Dmitry Chistikov 0001, Christoph Haase, Alessio Mansutti Geometric decision procedures and the VC dimension of linear arithmetic theories. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Elena Di Lavore, Giovanni de Felice, Mario Román Monoidal Streams for Dataflow Programming. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Matteo Mio, Ralph Sarkis, Valeria Vignudelli Beyond Nonexpansive Operations in Quantitative Algebraic Reasoning. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Cristina Matache, Sean K. Moss, Sam Staton Concrete categories and higher-order recursion: With applications including probability, differentiability, and full abstraction. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1C. Aiswarya, Soumodev Mal, Prakash Saivasan On the Satisfiability of Context-free String Constraints with Subword-Ordering. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Junyi Liu, Li Zhou, Gilles Barthe, Mingsheng Ying Quantum Weakest Preconditions for Reasoning about Expected Runtimes of Quantum Programs. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Clemens Armin Grabmayer Milner's Proof System for Regular Expressions Modulo Bisimilarity is Complete: Crystallization: Near-Collapsing Process Graph Interpretations of Regular Expressions. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Édouard Bonnet, Jan Dreier, Jakub Gajarský, Stephan Kreutzer, Nikolas Mählmann, Pierre Simon, Szymon Torunczyk Model Checking on Interpretations of Classes of Bounded Local Cliquewidth. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Lukas Heidemann, David Reutter, Jamie Vicary Zigzag normalisation for associative n-categories. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Gianluca Curzi, Anupam Das 0002 Cyclic Implicit Complexity. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Sean K. Moss, Paolo Perrone Probability monads with submonads of deterministic states. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Luc Dartois, Paul Gastin, R. Govind 0001, Shankara Narayanan Krishna Efficient Construction of Reversible Transducers from Regular Transducer Expressions. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Arka Ghosh 0002, Piotr Hofman, Slawomir Lasota 0001 Solvability of orbit-finite systems of linear equations. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Kristina Sojakova, G. A. Kavvos Syllepsis in Homotopy Type Theory. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Yoàv Montacute, Nihil Shah The Pebble-Relation Comonad in Finite Model Theory. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Pierre Ohlmann Characterizing Positionality in Games of Infinite Duration over Infinite Graphs. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Francesco Dagnino, Fabio Pasquali Logical Foundations of Quantitative Equality. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Antoine Mottet, Michael Pinsker Smooth approximations and CSPs over finitely bounded homogeneous structures. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Magnus Baunsgaard Kristensen, Rasmus Ejlers Møgelberg, Andrea Vezzosi Greatest HITs: Higher inductive types in coinductive definitions via induction under clocks. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Valentin Blot A direct computational interpretation of second-order arithmetic via update recursion. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni Reasonable Space for the λ-Calculus, Logarithmically. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Edon Kelmendi Computing the Density of the Positivity Set for Linear Recurrence Sequences. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Moritz Lichter, Pascal Schweitzer Choiceless Polynomial Time with Witnessed Symmetric Choice. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Guanyan Li, Andrzej S. Murawski, Luke Ong Probabilistic Verification Beyond Context-Freeness. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Takeshi Tsukada, Kazuyuki Asada Linear-Algebraic Models of Linear Logic as Categories of Modules over Σ-Semirings✱. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Felipe Ferreira Santos Separating LREC from LFP. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Aliaume Lopez When Locality Meets Preservation. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Wojciech Czerwinski, Engel Lefaucheux, Filip Mazowiecki, David Purser, Markus A. Whiteland The boundedness and zero isolation problems for weighted automata over nonnegative rationals. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Chase Ford, Stefan Milius, Lutz Schröder, Harsh Beohar, Barbara König 0001 Graded Monads and Behavioural Equivalence Games. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Paul-André Melliès A Functorial Excursion Between Algebraic Geometry and Linear Logic. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Remi Delannoy, Kuldeep S. Meel On Almost-Uniform Generation of SAT Solutions: The power of 3-wise independent hashing. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Corentin Barloy, Michaël Cadilhac, Charles Paperman, Thomas Zeume The Regular Languages of First-Order Logic with One Alternation. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Melissa Antonelli, Ugo Dal Lago, Paolo Pistone Curry and Howard Meet Borel. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Diego Figueira, Anthony Widjaja Lin Reasoning on Data Words over Numeric Domains. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Anca Muscholl, Igor Walukiewicz Active learning for sound negotiations✱. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Bart Jacobs 0001 Partitions and Ewens Distributions in element-free Probability Theory. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Laurent Doyen 0001 Stochastic Games with Synchronizing Objectives. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Raven Beutner, David Carral, Bernd Finkbeiner, Jana Hofmann, Markus Krötzsch Deciding Hyperproperties Combined with Functional Specifications. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Clemens Kupke, Johannes Marti, Yde Venema Size measures and alphabetic equivalence in the μ-calculus. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jakub Gajarský, Michal Pilipczuk, Szymon Torunczyk Stable graphs of bounded twin-width. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jirí Adámek Varieties of Quantitative Algebras and Their Monads. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Michael Blondin, Filip Mazowiecki, Philip Offtermatt The complexity of soundness in workflow nets. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Beniamino Accattoli Exponentials as Substitutions and the Cost of Cut Elimination in Linear Logic. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Christel Baier, Dana Fisman (eds.) LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2 - 5, 2022 Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Martin Avanzini, Georg Moser, Romain Péchoux, Simon Perdrix, Vladimir Zamdzhiev Quantum Expectation Transformers for Cost Analysis. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Richard Lipton, Florian Luca, Joris Nieuwveld, Joël Ouaknine, David Purser, James Worrell 0001 On the Skolem Problem and the Skolem Conjecture. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1David Baelde, Amina Doumane, Denis Kuperberg, Alexis Saurin Bouncing Threads for Circular and Non-Wellfounded Proofs: Towards Compositionality with Circular Proofs. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Nikhil Balaji, Klara Nosan, Mahsa Shirmohammadi, James Worrell 0001 Identity Testing for Radical Expressions. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Ilario Bonacina, Maria Luisa Bonet On the strength of Sherali-Adams and Nullstellensatz as propositional proof systems. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Pawel M. Idziak, Piotr Kawalek, Jacek Krzaczkowski Complexity of Modular Circuits. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Davide Barbarossa Resource approximation for the λμ-calculus. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jens Oliver Gutsfeld, Arne Meier, Christoph Ohrem, Jonni Virtema Temporal Team Semantics Revisited. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Daniel Gratzer Normalization for Multimodal Type Theory. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Thomas Place The amazing mixed polynomial closure and its applications to two-variable first-order logic. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Benedikt Ahrens, Paige Randall North, Niels van der Weide Semantics for two-dimensional type theory. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Wojciech Czerwinski, Lukasz Orlikowski Lower Bounds for the Reachability Problem in Fixed Dimensional VASSes. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Nathanael L. Ackerman, Julian Asilis, Jieqi Di, Cameron E. Freer, Jean-Baptiste Tristan Computable PAC Learning of Continuous Features. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1R. Govind 0001, Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Mikolaj Bojanczyk Transducers of polynomial growth. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Jan Dreier, Jakub Gajarský, Sandra Kiefer, Michal Pilipczuk, Szymon Torunczyk Treelike Decompositions for Transductions of Sparse Graphs. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Eric Finster, David Reutter, Jamie Vicary, Alex Rice A Type Theory for Strictly Unital ∞-Categories. Search on Bibsonomy LICS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
1Alex Dixon, Ranko Lazic 0001, Andrzej S. Murawski, Igor Walukiewicz Verifying higher-order concurrency with data automata. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jonathan Sterling, Carlo Angiuli Normalization for Cubical Type Theory. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Piotr Hofman, Marta Juzepczuk, Slawomir Lasota 0001, Mohnish Pattathurajan Parikh's theorem for infinite alphabets. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Laura Bozzelli, Adriano Peron, César Sánchez Asynchronous Extensions of HyperLTL. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1R. Ryan Williams Complexity Lower Bounds from Algorithm Design. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Xinxin Liu 0009, Tingting Yu A Complete Axiomatisation for Divergence Preserving Branching Congruence of Finite-State Behaviours. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Liron Cohen 0001, Étienne Miquey, Ross Tate Evidenced Frames: A Unifying Framework Broadening Realizability Models. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Elisabet Burjons, Fabian Frei, Martin Raszyk From Finite-Valued Nondeterministic Transducers to Deterministic Two-Tape Automata. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Ting-Wei Lin, Chia-Hsuan Lu, Tony Tan Towards a more efficient approach for the satisfiability of two-variable logic. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1John C. Baez, Fabrizio Genovese, Jade Master, Michael Shulman Categories of Nets. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos Parameterized Complexity of Elimination Distance to First-Order Logic Properties. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Andrej Dudenhefner The Undecidability of System F Typability and Type Checking for Reductionists. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Jim de Groot, Tadeusz Litak, Dirk Pattinson Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Thomas A. Henzinger, N. Ege Saraç Quantitative and Approximate Monitoring. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Yijia Chen, Jörg Flum Forbidden Induced Subgraphs and the Łoś-Tarski Theorem. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Nicolai Kraus Internal ∞-Categorical Models of Dependent Type Theory : Towards 2LTT Eating HoTT. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts Universal Semantics for the Stochastic λ-Calculus. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Radu Mardare, Prakash Panangaden, Gordon D. Plotkin Fixed-Points for Quantitative Equational Logics. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Anuj Dawar, Tomás Jakl, Luca Reggio Lovász-Type Theorems and Game Comonads. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Robin Hirsch, Jas Semrl Demonic Lattices and Semilattices in Relational Semigroups with Ordinary Composition. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Dominic J. D. Hughes, Lutz Straßburger, Jui-Hsuan Wu Combinatorial Proofs and Decomposition Theorems for First-order Logic. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Dmitriy Zhuk No-Rainbow Problem and the Surjective Constraint Satisfaction Problem. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Dan R. Ghica, Todd Waugh Ambridge Global Optimisation with Constructive Reals. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Pablo Barenbaum, Teodoro Freund A Constructive Logic with Classical Proofs and Refutations. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Paolo Capriotti, Nils Anders Danielsson, Andrea Vezzosi Higher Lenses. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Andrew Kenyon-Roberts, C.-H. Luke Ong Supermartingales, Ranking Functions and Probabilistic Lambda Calculus. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Amaldev Manuel, Dhruv Nevatia An Algebraic Characterisation of First-Order Logic with Neighbour. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Francesco Gavazzo, Claudia Faggian A Relational Theory of Monadic Rewriting Systems, Part I. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Mirco Tribastone, Max Tschaikowski, Andrea Vandin Efficient Local Computation of Differential Bisimulations via Coupling and Up-to Methods. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Krishnendu Chatterjee, Wolfgang Dvorák, Monika Henzinger, Alexander Svozil Symbolic Time and Space Tradeoffs for Probabilistic Verification. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Toby Cathcart Burn, Luke Ong, Steven J. Ramsay, Dominik Wagner Initial Limit Datalog: a New Extensible Class of Decidable Constrained Horn Clauses. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Hugo Moeneclaey Parametricity and Semi-Cubical Types. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Ronald Fagin, Jonathan Lenchner, Kenneth W. Regan, Nikhil Vyas 0001 Multi-Structural Games and Number of Quantifiers. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Martin Grohe The Logic of Graph Neural Networks. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
1Gianluca Cima, Marco Console, Maurizio Lenzerini, Antonella Poggi Abstraction in Data Integration. Search on Bibsonomy LICS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 1947 (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