- Julien Cretin, Didier Rémy:
System F with coercion constraints. CSL-LICS 2014: 34:1-34:10 - Anupam Das:
On the pigeonhole and related principles in deep inference and monotone systems. CSL-LICS 2014: 36:1-36:10 - Anuj Dawar:
The Ackermann award 2014. CSL-LICS 2014: 5:1-5:3 - Stéphane Demri, Morgan Deters:
Expressive completeness of separation logic with two variables and no separating conjunction. CSL-LICS 2014: 37:1-37:10 - Thomas Ehrhard:
A new correctness criterion for MLL proof nets. CSL-LICS 2014: 38:1-38:10 - Jörg Endrullis, Dimitri Hendriks:
On periodically iterated morphisms. CSL-LICS 2014: 39:1-39:10 - Diego Figueira, Leonid Libkin:
Pattern logics and auxiliary relations. CSL-LICS 2014: 40:1-40:10 - Marcelo P. Fiore, Sam Staton:
Substitution, jumps, and algebraic effects. CSL-LICS 2014: 41:1-41:10 - Jasmin Fisher:
Understanding biology through logic. CSL-LICS 2014: 3:1 - Matthew Fredrikson, Somesh Jha:
Satisfiability modulo counting: a new approach for analyzing privacy properties. CSL-LICS 2014: 42:1-42:10 - Georg Gottlob, Enrico Malizia:
Achieving new upper bounds for the hypergraph duality problem through logic. CSL-LICS 2014: 43:1-43:10 - Niels Bjørn Bugge Grathwohl, Dexter Kozen, Konstantinos Mamouras:
KAT + B! CSL-LICS 2014: 44:1-44:10 - Nicolas Guenot, Lutz Straßburger:
Symmetric normalisation for intuitionistic logic. CSL-LICS 2014: 45:1-45:10 - Julian Gutierrez, Michael J. Wooldridge:
Equilibria of concurrent games on event structures. CSL-LICS 2014: 46:1-46:10 - Christoph Haase:
Subclasses of presburger arithmetic and the weak EXP hierarchy. CSL-LICS 2014: 47:1-47:10 - Matthew Hague:
Senescent ground tree rewrite systems. CSL-LICS 2014: 48:1-48:10 - Frederik Harwath, Lucas Heimberg, Nicole Schweikardt:
Preservation and decomposition theorems for bounded degree structures. CSL-LICS 2014: 49:1-49:10 - Willem Heijltjes, Robin Houston:
No proof nets for MLL with units: proof equivalence in MLL is PSPACE-complete. CSL-LICS 2014: 50:1-50:10 - Naohiko Hoshino, Koko Muroya, Ichiro Hasuo:
Memoryful geometry of interaction: from coalgebraic components to algebraic effects. CSL-LICS 2014: 52:1-52:10 - Danko Ilik:
Axioms and decidability for type isomorphism in the presence of sums. CSL-LICS 2014: 53:1-53:7 - Alan Jeffrey:
Functional reactive types. CSL-LICS 2014: 54:1-54:9 - Joost-Pieter Katoen, Lei Song, Lijun Zhang:
Probably safe or live. CSL-LICS 2014: 55:1-55:10 - Bakhadyr Khoussainov:
A quest for algorithmically random infinite structures. CSL-LICS 2014: 56:1-56:9 - Stanislav Kikot, Roman Kontchakov, Vladimir V. Podolskii, Michael Zakharyaschev:
On the succinctness of query rewriting over shallow ontologies. CSL-LICS 2014: 57:1-57:10 - Bartek Klin, Slawomir Lasota, Joanna Ochremiak, Szymon Torunczyk:
Turing machines with atoms, constraint satisfaction problems, and descriptive complexity. CSL-LICS 2014: 58:1-58:10 - Eric Koskinen, Tachio Terauchi:
Local temporal reasoning. CSL-LICS 2014: 59:1-59:10 - Dexter Kozen:
Citations for the test-of-time award from 1994. CSL-LICS 2014: 6:1 - Stephan Kreutzer, Nicole Schweikardt:
On Hanf-equivalence and the number of embeddings of small induced subgraphs. CSL-LICS 2014: 60:1-60:10 - Ugo Dal Lago, Claudia Faggian, Ichiro Hasuo, Akira Yoshimizu:
The geometry of synchronization. CSL-LICS 2014: 35:1-35:10 - Ranko Lazic, Sylvain Schmitz:
Non-elementary complexities for branching VASS, MELL, and extensions. CSL-LICS 2014: 61:1-61:10