Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | David Baelde, Gopalan Nadathur |
Combining Deduction Modulo and Logics of Fixed-Point Definitions. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jamie Vicary |
Higher Semantics of Quantum Protocols. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Guilhem Jaber, Nicolas Tabareau, Matthieu Sozeau |
Extending Type Theory with Forcing. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Viktor Engelmann, Stephan Kreutzer, Sebastian Siebertz |
First-Order and Monadic Second-Order Model-Checking on Ordered Structures. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | André Platzer |
The Complete Proof Theory of Hybrid Systems. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Mathieu Tracol |
Decidable Problems for Probabilistic Automata on Infinite Words. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Deepak Garg 0001, Valerio Genovese, Sara Negri |
Countermodels from Sequent Calculi in Multi-Modal Logics. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Dmitriy Traytel, Andrei Popescu 0001, Jasmin Christian Blanchette |
Foundational, Compositional (Co)datatypes for Higher-Order Logic: Category Theory Applied to Theorem Proving. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Serge Grigorieff, Pierre Valarcher |
Functionals Using Bounded Information and the Dynamics of Algorithms. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Arnon Avron, Beata Konikowska, Anna Zamansky |
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Adámek, Stefan Milius, Nathan J. Bowler, Paul Blain Levy |
Coproducts of Monads on Set. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hugo Herbelin |
A Constructive Proof of Dependent Choice, Compatible with Classical Logic. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès |
Game Semantics in String Diagrams. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Mohamed Faouzi Atig, Jari Stenman |
Dense-Timed Pushdown Automata. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Joan Feigenbaum |
Privacy, Anonymity, and Accountability in Ad-Supported Services. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Peter Schuster 0001 |
Induction in Algebra: A First Case Study. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Tony Tan |
An Automata Model for Trees with Ordered Data Values. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Parys |
On the Significance of the Collapse Operation. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Laurent Bienvenu, Benoit Monin |
Von Neumann's Biased Coin Revisited. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Yijia Chen, Jörg Flum |
On the Ordered Conjecture. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Frédéric Herbreteau, B. Srivathsan, Igor Walukiewicz |
Better Abstractions for Timed Automata. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Vivek Nigam |
On the Complexity of Linear Authorization Logics. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Robert Atkey |
The Semantics of Parsing with Semantic Actions. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Libor Barto, Marcin Kozik, Ross Willard |
Near Unanimity Constraints Have Bounded Pathwidth Duality. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Robert L. Constable |
On Building Constructive Formal Theories of Computation Noting the Roles of Turing, Church, and Brouwer. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Krishnendu Chatterjee, Yaron Velner |
Mean-Payoff Pushdown Games. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sanjay Jain 0001, Alexei Miasnikov, Frank Stephan 0001 |
The Complexity of Verbal Languages over Groups. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Pierre Ganty, Rupak Majumdar |
A Perfect Model for Bounded Verification. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss |
Automatic Sequences and Zip-Specifications. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Berkholz |
Lower Bounds for Existential Pebble Games and k-Consistency Tests. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Göller, Jean Christoph Jung, Markus Lohrey |
The Complexity of Decomposing Modal and First-Order Theories. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012 |
LICS |
2012 |
DBLP BibTeX RDF |
|
1 | Robert J. Aumann |
Backward induction in games of perfect information. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Carles Creus, Adrià Gascón, Guillem Godoy, Lander Ramos |
The HOM Problem is EXPTIME-Complete. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Sebastian Müller 0003, Iddo Tzameret |
Short Propositional Refutations for Dense Random 3CNF Formulas. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | André Platzer |
Logics of Dynamical Systems. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Carayol, Olivier Serre |
Collapsible Pushdown Automata and Labeled Recursion Schemes: Equivalence, Safety and Effective Selection. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Bundala, Joël Ouaknine, James Worrell 0001 |
On the Magnitude of Completeness Thresholds in Bounded Model Checking. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jakub Michaliszyn, Jan Otop |
Decidable Elementary Modal Logics. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Michael Elberfeld, Martin Grohe, Till Tantau |
Where First-Order and Monadic Second-Order Logic Coincide. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Jan Willem Klop |
Term Rewriting and Lambda Calculus. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Hubie Chen, Moritz Müller |
An Algebraic Preservation Theorem for Aleph-Zero Categorical Quantified Constraint Satisfaction. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Leonid A. Levin |
Turing's Password: What Internet Cannot Leak. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Nathanaël Fijalkow, Hugo Gimbert, Youssouf Oualhadj |
Deciding the Value 1 Problem for Probabilistic Leaktight Automata. |
LICS |
2012 |
DBLP DOI BibTeX RDF |
|
1 | Libor Barto |
The Dichotomy for Conservative Constraint Satisfaction Problems Revisited. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Nathanael L. Ackerman, Cameron E. Freer, Daniel M. Roy 0001 |
Noncomputable Conditional Distributions. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Yijia Chen, Jörg Flum |
Listings and Logics. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrei A. Krokhin |
The Complexity of Evaluating First-Order Sentences over a Fixed Structure. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | |
Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, LICS 2011, June 21-24, 2011, Toronto, Ontario, Canada |
LICS |
2011 |
DBLP BibTeX RDF |
|
1 | Ugo Dal Lago, Marco Gaboardi |
Linear Dependent Types and Relative Completeness. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman |
Temporal Specifications with Accumulative Values. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ichiro Hasuo, Naohiko Hoshino |
Semantics of Higher-Order Quantum Computation via Geometry of Interaction. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Albert Atserias |
A Why-on-Earth Tutorial on Finite Model Theory. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Bruno Barras, Jean-Pierre Jouannaud, Pierre-Yves Strub, Qian Wang |
CoQMTU: A Higher-Order Type Theory with a Predicative Hierarchy of Universes Parametrized by a Decidable First-Order Theory. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Goncharov 0001, Lutz Schröder |
Powermonads and Tensors of Unranked Effects. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Willem Heijltjes |
Proof Nets for Additive Linear Logic with Units. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Yves Marion |
A Type System for Complexity Flow Analysis. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Ashish Tiwari 0001 |
Logic in Software, Dynamical and Biological Systems. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Bartek Klin, Slawomir Lasota 0001 |
Automata with Group Actions. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Florent R. Madelaine, Barnaby Martin |
A Tetrachotomy for Positive First-Order Logic without Equality. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Neelakantan R. Krishnaswami, Nick Benton |
Ultrametric Semantics of Reactive Programs. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Prakash Panangaden |
The Meaning of Semantics. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Toniann Pitassi |
Propositional Proof Complexity: A Survey on the State of the Art, Including Some Recent Results. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Chung-Kil Hur, Derek Dreyer, Viktor Vafeiadis |
Separation Logic in the Presence of Garbage Collection. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Carayol, Axel Haddad, Olivier Serre |
Qualitative Tree Languages. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Christian Herrmann 0003, Martin Ziegler 0001 |
Computational Complexity of Quantum Satisfiability. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera 0001 |
Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Clairambault |
Isomorphisms of Types in the Presence of Higher-Order References. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Naoki Kobayashi 0001 |
Higher-Order Model Checking: From Theory to Practice. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco |
What's Decidable about Halpern and Shoham's Interval Logic? The Maximal Fragment ABBL. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jean Goubault-Larrecq, Daniele Varacca |
Continuous Random Variables. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Aminof, Orna Kupferman, Robby Lampert |
Rigorous Approximated Determinization of Weighted Automata. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Miquel |
Forcing as a Program Transformation. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Jerzy Marcinkowski, Jakub Michaliszyn |
The Ultimate Undecidability Result for the Halpern-Shoham Logic. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Silvain Rideau, Glynn Winskel |
Concurrent Strategies. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema |
Complexity of Two-Variable Dependence Logic and IF-Logic. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Martin Churchill, James Laird, Guy McCusker |
Imperative Programs as Proofs via Game Semantics. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manuel Bodirsky, Michael Pinsker, Todor Tsankov |
Decidability of Definability. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Parosh Aziz Abdulla, Richard Mayr |
Computing Optimal Coverability Costs in Priced Timed Petri Nets. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ehrhard, Michele Pagani, Christine Tasson |
The Computational Meaning of Probabilistic Coherence Spaces. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Dai Tri Man Le, Stephen A. Cook |
Formalizing Randomized Matching Algorithms. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Göller, Anthony Widjaja Lin |
The Complexity of Verifying Ground Tree Rewrite Systems. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Lars Birkedal, Rasmus Ejlers Møgelberg, Jan Schwinghammer, Kristian Støvring |
First Steps in Synthetic Guarded Domain Theory: Step-Indexing in the Topos of Trees. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Michael Benedikt, Gabriele Puppis, Cristian Riveros |
Regular Repair of Specifications. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Diego Figueira |
A Decidable Two-Way Logic on Data Words. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Andrzej S. Murawski, Nikos Tzevelekos |
Game Semantics for Good General References. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Diego Figueira, Santiago Figueira, Sylvain Schmitz, Philippe Schnoebelen |
Ackermannian and Primitive-Recursive Bounds with Dickson's Lemma. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Kufleitner, Alexander Lauser |
Languages of Dot-Depth One over Infinite Words. |
LICS |
2011 |
DBLP DOI BibTeX RDF |
|
1 | James Laird |
Game Semantics for a Polymorphic Programming Language. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
general references, genericity, polymorphism, game semantics |
1 | Samson Abramsky |
Coalgebras, Chu Spaces, and Representations of Physical Systems. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Chu spaces, representation of physical systems, categories, coalgebra, quantum mechanics |
1 | Massimo Bartoletti, Roberto Zunino |
A Calculus of Contracting Processes. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
circular assume-guarantee, concurrent constraints, contracts, cut elimination |
1 | Michele Basaldella, Kazushige Terui |
Infinitary Completeness in Ludics. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
ludics, completeness, linear logic, recursive types, coinduction |
1 | Alessio Guglielmi, Tom Gundersen, Lutz Straßburger |
Breaking Paths in Atomic Flows for Classical Logic. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
atomic flows, proof normalization, classical logic |
1 | Andrei Popescu 0001, Elsa L. Gunter, Christopher J. Osborn |
Strong Normalization for System F by HOAS on Top of FOAS. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Higher-Order Abstract Syntax, Isabelle/HOL, System F |
1 | Patricia Johann, Alex Simpson, Janis Voigtländer |
A Generic Operational Metatheory for Algebraic Effects. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|
1 | Christopher H. Broadbent, Arnaud Carayol, C.-H. Luke Ong, Olivier Serre |
Recursion Schemes and Logical Reflection. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Collapsible Pushdown Automata, Monadic Second Order Logic and Mu-Calculus Global model checking, Parity Games, Recursion Schemes |
1 | James Brotherston, Max I. Kanovich |
Undecidability of Propositional Separation Logic and Its Neighbours. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
bunched logic, heap models, separation logic, undecidability |
1 | Nicole Schweikardt, Luc Segoufin |
Addition-Invariant FO and Regularity. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
bounded languages, Logic, automata |
1 | Luis Barguñó, Carles Creus, Guillem Godoy, Florent Jacquemard, Camille Vacher |
The Emptiness Problem for Tree Automata with Global Constraints. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
Symbolic Constraint Solving, Tree Automata, Monadic Second Order Logic, XML Processing |
1 | Mário S. Alvim, Miguel E. Andrés, Catuscia Palamidessi |
Probabilistic Information Flow. |
LICS |
2010 |
DBLP DOI BibTeX RDF |
|