Algorithms and Logic
- Overview
- Researchers
- Research outputs
- Projects
- Activities
- Journals
- Publishers
- Press clippings
- Statistics
- 2017
- Published
Compressed Subsequence Matching and Packed Tree Coloring. / Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li.
In: Algorithmica, Vol. 77, No. 2, 2017, p. 336–348.Research output: Research - peer-review › Journal article – Annual report year: 2015
- Published
Cooperative epistemic multi-agent planning for implicit coordination. / Engesser, Thorsten ; Bolander, Thomas; Mattmüller, Robert; Nebel, Bernhard.
In: Electronic Proceedings in Theoretical Computer Science, Vol. 243, 2017, p. 75-90.Research output: Research - peer-review › Conference article – Annual report year: 2017
- Published
Cycles through all finite vertex sets in infinite graphs. / Kundgen, Andre; Li, Binlong; Thomassen, Carsten.
In: European Journal of Combinatorics, Vol. 65, 2017, p. 259–275.Research output: Research - peer-review › Journal article – Annual report year: 2017
- Published
Density of Real Zeros of the Tutte Polynomial. / Ok, Seongmin; Perrett, Thomas.
In: Electronic Notes in Discrete Mathematics, Vol. 61, 2017, p. 941-946.Research output: Research - peer-review › Journal article – Annual report year: 2017
- Published
Deterministic indexing for packed strings. / Bille, Philip; Gørtz, Inge Li; Skjoldjensen, Frederik Rye.
Proceedings of 28th Annual Symposium on Combinatorial Pattern Matching. Vol. 78 Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2017.Research output: Research - peer-review › Article in proceedings – Annual report year: 2017
- Published
Epistemic Planning : (Dagstuhl Seminar 17231). / Baral, Chitta; Bolander, Thomas; van Ditmarsch, Hans; McIlraith, Sheila.
Schloß Dagstuhl, 2017. 47 p.Research output: Research - peer-review › Report – Annual report year: 2017
- Published
Evidence logics with relational evidence. / Baltag, Alexandru; Occhipinti, Andrés.
In: Lecture Notes in Computer Science, Vol. 10445, 2017, p. 17-32.Research output: Research - peer-review › Conference article – Annual report year: 2017
- Published
Fast Dynamic Arrays. / Bille, Philip; Christiansen, Anders Roy; Ettienne, Mikko Berggren; Gørtz, Inge Li.
Proceedings of 5th Annual European Symposium on Algorithms. 2017. p. 16:1--16:13.Research output: Research - peer-review › Article in proceedings – Annual report year: 2017
- Published
First-Order Logic According to Harrison. / Jensen, Alexander Birch; Schlichtkrull, Anders; Villadsen, Jørgen.
In: Archive of Formal Proofs, 2017, p. 1-66.Research output: Research - peer-review › Journal article – Annual report year: 2017
- Published
Flexible indexing of repetitive collections. / Belazzougui, Djamal; Cunial, Fabio; Gagie, Travis; Prezza, Nicola; Raffinot, Mathieu.
Unveiling Dynamics and Complexity - 13th Conference on Computability in Europe, CiE 2017, Proceedings. Vol. 10307 LNCS Springer Verlag, 2017. p. 162-174.Research output: Research - peer-review › Article in proceedings – Annual report year: 2017