Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Ehud Hrushovski, Joël Ouaknine, Amaury Pouly, James Worrell 0001 |
Polynomial Invariants for Affine Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 530-539, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hahn 0001, Andreas Krebs, Howard Straubing |
Wreath Products of Distributive Forest Algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 512-520, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yijia Chen, Moritz Müller, Keita Yokoyama |
A parameterized halting problem, the linear time hierarchy, and the MRDP theorem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 235-244, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Karl Crary |
Strong Sums in Focused Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 265-274, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Damien Pous, Valeria Vignudelli |
Allegories: decidability and graph homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 829-838, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pawel M. Idziak, Jacek Krzaczkowski |
Satisfiability in multi-valued circuits. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 550-558, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jonathan Sterling, Robert Harper 0001 |
Guarded Computational Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 879-888, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Raffaella Gentilini, Jean-François Raskin |
Rational Synthesis Under Imperfect Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 422-431, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Noam Zeilberger |
A theory of linear typings as flows on 3-valent graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 919-928, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Clovis Eberhart, Tom Hirschowitz |
What's in a game?: A theory of game models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 374-383, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Vrunda Dave, Paul Gastin, Shankara Narayanan Krishna |
Regular Transducer Expressions for Regular Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 315-324, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk |
Parameterized circuit complexity of model-checking on sparse structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 789-798, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mark Bickford, Liron Cohen 0001, Robert L. Constable, Vincent Rahli |
Computability Beyond Church-Turing via Choice Sequences. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 245-254, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Laure Daviaud, Marcin Jurdzinski, Ranko Lazic 0001 |
A pseudo-quasi-polynomial algorithm for mean-payoff parity games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 325-334, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic |
Sound up-to techniques and Complete abstract domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 175-184, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Karoliina Lehtinen |
A modal μ perspective on solving parity games in quasi-polynomial time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 639-648, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Olivier Laurent 0001 |
Around Classical and Intuitionistic Linear Logics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 629-638, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Jeandel, Simon Perdrix, Renaud Vilmart |
Diagrammatic Reasoning beyond Clifford+T Quantum Mechanics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 569-578, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simon Castellan, Pierre Clairambault, Hugo Paquet, Glynn Winskel |
The concurrent game semantics of Probabilistic PCF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 215-224, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nicolai Kraus, Thorsten Altenkirch |
Free Higher Groups in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 599-608, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Piróg, Tom Schrijvers, Nicolas Wu, Mauro Jaskelioff |
Syntax and Semantics for Operations with Scopes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 809-818, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Arnaud Durand 0001, Anselm Haak, Heribert Vollmer |
Model-Theoretic Characterization of Boolean and Arithmetic Circuit Classes of Small Depth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 354-363, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | André Platzer, Yong Kiam Tan |
Differential Equation Axiomatization: The Impressive Power of Differential Ghosts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 819-828, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Dawar, Erich Grädel (eds.) |
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![ACM The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès |
Ribbon Tensorial Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 689-698, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benoit Monin |
An answer to the Gamma question. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 730-738, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Valentin Blot, Jim Laird |
Extensional and Intensional Semantic Universes: A Denotational Model of Dependent Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 95-104, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nathanaël Fijalkow |
The State Complexity of Alternating Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 414-421, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Takeshi Tsukada, Kazuyuki Asada, C.-H. Luke Ong |
Species, Profunctors and Taylor Expansion Weighted by SMCC: A Unified Framework for Modelling Nondeterministic, Probabilistic and Quantum Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 889-898, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Christel Baier, Nathalie Bertrand 0001, Clemens Dubslaff, Daniel Gburek, Ocan Sankur |
Stochastic Shortest Paths and Weight-Bounded Properties in Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 86-94, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Robert Atkey |
Syntax and Semantics of Quantitative Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 56-65, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Martin Grohe, Michal Pilipczuk |
Definable decompositions for graphs of bounded linear cliquewidth. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 135-144, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Sherman, Luke Sciarappa, Adam Chlipala, Michael Carbin |
Computable decision making on the reals and other spaces: via partiality and nondeterminism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 859-868, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Durier, Daniel Hirschkoff, Davide Sangiorgi |
Eager Functions as Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 364-373, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ulrik Buchholtz, Floris van Doorn, Egbert Rijke |
Higher Groups in Homotopy Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 205-214, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Koko Muroya, Steven W. T. Cheung, Dan R. Ghica |
The Geometry of Computation-Graph Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 749-758, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Danielski, Emanuel Kieronski |
Unary negation fragment with equivalence relations has the finite model property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 285-294, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mikolaj Bojanczyk, Szymon Torunczyk |
On computability and tractability for infinite sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 145-154, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bert Lindenhovius, Michael W. Mislove, Vladimir Zamdzhiev |
Enriching a Linear/Non-linear Lambda Calculus: A Programming Language for String Diagrams. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 659-668, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Neil Ghani, Jules Hedges, Viktor Winschel, Philipp Zahn |
Compositional Game Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 472-481, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Albert Atserias, Joanna Ochremiak |
Definable Ellipsoid Method, Sums-of-Squares Proofs, and the Isomorphism Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 66-75, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Étienne Miquey |
A sequent calculus with dependent types for classical arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 720-729, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Ferrère, Thomas A. Henzinger, N. Ege Saraç |
A Theory of Register Monitors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 394-403, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Leventis |
Probabilistic Böhm Trees and Probabilistic Separation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 649-658, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Adrien Guatto |
A Generalized Modality for Recursion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 482-491, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | S. Akshay 0001, Blaise Genest, Nikhil Vyas 0001 |
Distribution-based objectives for Markov Decision Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 36-45, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Amar Hadzihasanovic, Kang Feng Ng, Quanlong Wang |
Two complete axiomatisations of pure-state qubit quantum computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 502-511, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès, Léo Stefanesco |
An Asynchronous Soundness Theorem for Concurrent Separation Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 699-708, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Antti Kuusisto, Carsten Lutz |
Weighted model counting beyond two-variable logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 619-628, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Georg Zetzsche |
Separability by piecewise testable languages and downward closures beyond subwords. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 929-938, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Marie Kerjean |
A Logical Account for Linear Partial Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 589-598, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Coquand, Simon Huber, Anders Mörtberg |
On Higher Inductive Types in Cubical Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 255-264, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Gavazzo |
Quantitative Behavioural Reasoning for Higher-order Effectful Programs: Applicative Distances. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 452-461, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Luc Dartois, Emmanuel Filiot, Nathan Lhote |
Logics for Word Transductions with Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 295-304, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Michal Pilipczuk, Sebastian Siebertz, Szymon Torunczyk |
On the number of types in sparse graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 799-808, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Jan Kretínský, Salomon Sickert |
One Theorem to Rule Them All: A Unified Translation of LTL into ω-Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 384-393, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Rose Bohrer, André Platzer |
A Hybrid, Dynamic Logic for Hybrid-Dynamic Information Flow. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 115-124, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sean K. Moss, Tamara von Glehn |
Dialectica models of type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 739-748, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Romain Demangeon, Nobuko Yoshida |
Causal Computational Complexity of Distributed Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 344-353, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Yoji Nanjo, Hiroshi Unno 0001, Eric Koskinen, Tachio Terauchi |
A Fixpoint Logic and Dependent Effects for Temporal Property Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 759-768, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Udi Boker, Yariv Shaulian |
Automaton-Based Criteria for Membership in CTL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 155-164, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Raphaëlle Crubillé |
Probabilistic Stable Functions on Discrete Cones are Power Series. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018, Oxford, UK, July 09-12, 2018, pp. 275-284, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pierre-Marie Pédrot, Nicolas Tabareau |
An effectful way to eliminate addiction to dependence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Javier Esparza, Anca Muscholl, Igor Walukiewicz |
Static analysis of deterministic negotiations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Lorenzo Clemente, Slawomir Lasota 0001, Ranko Lazic 0001, Filip Mazowiecki |
Timed pushdown automata and branching vector addition systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Joël Ouaknine |
LICS 2017 foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. ii-iv, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Jeandel |
Enumeration reducibility in closure spaces with applications to logic and algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-11, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Place, Marc Zeitoun |
Separation for dot-depth two. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Mathieu Hoyrup, Walid Gomaa 0001 |
On the extension of computable real functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès |
Higher-order parity automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Dudenhefner, Jakob Rehof |
Typability in bounded dimension. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Marco Voigt |
A fine-grained hierarchy of hard problems in the separated fragment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Benjamin Lucien Kaminski, Joost-Pieter Katoen |
A weakest pre-expectation semantics for mixed-sign expectations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Dusko Pavlovic, Peter-Michael Seidel |
Quotients in monadic programming: Projective algebras are equivalent to coalgebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Coquand, Bassel Mannaa, Fabian Ruch |
Stack semantics of type theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-11, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Ohad Kammar, Paul Blain Levy, Sean K. Moss, Sam Staton |
A monad for full ground reference cells. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Johan Thapper, Stanislav Zivný |
The limits of SDP relaxations for general-valued CSPs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Eric Finster, Samuel Mimram |
A type-theoretical definition of weak ω-categories. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | C.-H. Luke Ong |
Quantitative semantics of the lambda calculus: Some generalisations of the relational model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Takeshi Tsukada, Kazuyuki Asada, C.-H. Luke Ong |
Generalised species of rigid resource terms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Iddo Tzameret, Stephen A. Cook |
Uniform, integral and efficient proofs for the determinant identities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matteo Mio, Robert Furber, Radu Mardare |
Riesz Modal logic for Markov processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jasmin Christian Blanchette, Fabian Meier, Andrei Popescu 0001, Dmitriy Traytel |
Foundational nonuniform (Co)datatypes for higher-order logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Blondin, Christoph Haase |
Logics for continuous reachability in Petri nets and vector addition systems with states. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Filiot, Ismaël Jecker, Nathan Lhote, Guillermo A. Pérez 0001, Jean-François Raskin |
On delay and regret determinization of max-plus automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Jan van den Heuvel, Stephan Kreutzer, Michal Pilipczuk, Daniel A. Quiroz, Roman Rabinovich 0001, Sebastian Siebertz |
Model-checking for successor-invariant first-order formulas on graph classes of bounded expansion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-11, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Stefano Berardi, Makoto Tatsuta |
Equivalence of inductive definitions and cyclic proofs under arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Corina S. Pasareanu |
Symbolic execution and probabilistic reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Raphaël Berthon, Bastien Maubert, Aniello Murano, Sasha Rubin, Moshe Y. Vardi |
Strategy logic with imperfect information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Venanzio Capretta, Jonathan Fowler |
The continuity of monadic stream functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michal Wrona |
The complexity of minimal inference problem for conservative constraint languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Natsuki Urabe, Masaki Hara, Ichiro Hasuo |
Categorical liveness checking by corecursive algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Felix Canavoi, Martin Otto 0001 |
Common knowledge and multi-scale locality analysis in Cayley structures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Florent Capelli |
Understanding the complexity of #SAT using knowledge compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-10, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Michael Benedikt, Timothy Duff, Aditya Sharad, James Worrell 0001 |
Polynomial automata: Zeroness and applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Hubie Chen, Stefan Mengel |
The logic of counting query answers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Bahareh Afshari, Graham E. Leigh |
Cut-free completeness for modal mu-calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Schröder 0001, Florian Steinberg 0001 |
Bounded time computation on metric spaces and Banach spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
On the axiomatizability of quantitative algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
1 | Martin Zimmermann 0002 |
Games with costs and delays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pp. 1-12, 2017, IEEE Computer Society, 978-1-5090-3018-7. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|