1. 2017
  2. 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.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  3. 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.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  4. 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. (Leibniz International Proceedings in Informatics).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  5. Published

    Epistemic Planning : (Dagstuhl Seminar 17231). / Baral, Chitta; Bolander, Thomas; van Ditmarsch, Hans; McIlraith, Sheila.

    Schloß Dagstuhl, 2017. 47 p. (Dagstuhl Reports; No. 06, Vol. 7).

    Publication: Research - peer-reviewReport – Annual report year: 2017

  6. Published

    Evidence logics with relational evidence. / Baltag, Alexandru; Occhipinti, Andrés.

    In: Lecture Notes in Computer Science, Vol. 10445, 2017, p. 17-32.

    Publication: Research - peer-reviewConference article – Annual report year: 2017

  7. 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.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  8. Published

    First-Order Logic According to Harrison. / Jensen, Alexander Birch; Schlichtkrull, Anders; Villadsen, Jørgen.

    In: Archive of Formal Proofs, 2017, p. 1-66.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

  9. 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 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 10307 LNCS).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2017

  10. Published

    Formalization of Many-Valued Logics. / Villadsen, Jørgen; Schlichtkrull, Anders.

    Partiality and Underspecification in Information, Languages, and Knowledge. ed. / Henning Christiansen; M. Dolores Jiménez-López; Roussanka Loukanova; Lawrence S. Moss. Cambridge Scholars Press, 2017. p. 219-256.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2017

  11. Published

    Formalizing a Paraconsistent Logic in the Isabelle Proof Assistant. / Villadsen, Jørgen; Schlichtkrull, Anders.

    In: LNCS Transactions on Large-Scale Data- and Knowledge-Centered Systems, Vol. 34, 2017, p. 92-122.

    Publication: Research - peer-reviewJournal article – Annual report year: 2017

Previous 1...3 4 5 6 7 8 9 10 ...31 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word