- Anupam Das
, Colin Riba:
A Complete Axiomatization of MSO on Infinite Trees. LICS 2015: 390-401 - Tim Disney, Cormac Flanagan:
Game Semantics for Type Soundness. LICS 2015: 104-114 - Abbas Edalat:
Extensions of Domain Maps in Differential and Integral Calculus. LICS 2015: 426-437 - Jörg Endrullis
, Clemens Grabmayer, Dimitri Hendriks:
Regularity Preserving but Not Reflecting Encodings. LICS 2015: 535-546 - Sebastian Enqvist, Fatemeh Seifan
, Yde Venema:
Monadic Second-Order Logic and Bisimulation Invariance for Coalgebras. LICS 2015: 353-365 - Diego Figueira
, Leonid Libkin
:
Path Logics for Querying Graphs: Combining Expressiveness and Efficiency. LICS 2015: 329-340 - Adrià Gascón, Ashish Tiwari, Manfred Schmidt-Schauß
:
One Context Unification Problems Solvable in Polynomial Time. LICS 2015: 499-510 - Tomasz Gogacz, Jerzy Marcinkowski:
The Hunt for a Red Spider: Conjunctive Query Determinacy Is Undecidable. LICS 2015: 281-292 - Erich Grädel, Wied Pakusa, Svenja Schalthöfer
, Lukasz Kaiser:
Characterising Choiceless Polynomial Time with First-Order Interpretations. LICS 2015: 677-688 - Jennifer Hackett, Graham Hutton
:
Programs for Cheap! LICS 2015: 115-126 - Amar Hadzihasanovic
:
A Diagrammatic Axiomatisation for Qubit Entanglement. LICS 2015: 573-584 - Chaodong He, Mingzhang Huang:
Branching Bisimilarity on Normed BPA Is EXPTIME-Complete. LICS 2015: 180-191 - Willem Heijltjes, Dominic J. D. Hughes:
Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets. LICS 2015: 80-91 - Chris Heunen, Bert Lindenhovius:
Domains of Commutative C-Subalgebras. LICS 2015: 450-461 - Daniel Kifer:
Privacy and the Price of Data. LICS 2015: 16 - Bartek Klin
, Eryk Kopczynski
, Joanna Ochremiak, Szymon Torunczyk
:
Locally Finite Constraint Satisfaction Problems. LICS 2015: 475-486 - Naoki Kobayashi
, Xin Li:
Automata-Based Abstraction Refinement for µHORS Model Checking. LICS 2015: 713-724 - Tomer Kotek, Mantas Simkus
, Helmut Veith, Florian Zuleger
:
Extending ALCQIO with Trees. LICS 2015: 511-522 - Andreas Krebs, Oleg Verbitsky:
Universal Covers, Color Refinement, and Two-Variable Counting Logic: Lower Bounds for the Depth. LICS 2015: 689-700 - Ugo Dal Lago
, Claudia Faggian, Benoît Valiron
, Akira Yoshimizu:
Parallelism and Synchronization in an Infinitary Context. LICS 2015: 559-572 - Antonia Lechner, Joël Ouaknine
, James Worrell
:
On the Complexity of Linear Arithmetic with Divisibility. LICS 2015: 667-676 - Jérôme Leroux, Sylvain Schmitz:
Demystifying Reachability in Vector Addition Systems. LICS 2015: 56-67 - Daniel R. Licata
, Guillaume Brunerie:
A Cubical Approach to Synthetic Homotopy Theory. LICS 2015: 92-103 - Kenji Maillard
, Paul-André Melliès
:
A Fibrational Account of Local States. LICS 2015: 402-413 - Annabelle McIver
, Carroll Morgan, Tahiry M. Rabehaja:
Abstract Hidden Markov Models: A Monadic Account of Quantitative Information Flow. LICS 2015: 597-608 - Benoit Monin, André Nies
:
A Unifying Approach to the Gamma Question. LICS 2015: 585-596 - Guillaume Munch-Maccagnoni, Gabriel Scherer
:
Polarised Intermediate Representation of Lambda Calculus with Sums. LICS 2015: 127-140 - Andrzej S. Murawski, Steven J. Ramsay
, Nikos Tzevelekos:
Bisimilarity in Fresh-Register Automata. LICS 2015: 156-167 - Peter W. O'Hearn:
From Categorical Logic to Facebook Engineering. LICS 2015: 17-20 - Luke Ong
:
Higher-Order Model Checking: An Overview. LICS 2015: 1-15