1. 2018
  2. Published

    Formalization of the Resolution Calculus for First-Order Logic. / Schlichtkrull, Anders.

    In: Journal of Automated Reasoning, Vol. 61, No. 1–4, 20.01.2018, p. 455–484.

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

  3. Published

    A Dynamic Logic for Learning Theory. / Baltag, Alexandru; Gierasimczuk, Nina; Özgün, Aybüke; Vargas Sandoval, Ana Lucia; Smets, Sonja.

    Dynamic Logic. New Trends and Applications. : First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. ed. / Alexandre Madeira; Mario Benevides. Vol. 10669 Springer, 2018. p. 35-54 (Lecture Notes in Computer Science).

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

  4. Published

    Agent Programming Languages and Logics in Agent-Based Simulation. / Larsen, John.

    Modern Approaches for Intelligent Information and Database Systems. Vol. 769 Springer, 2018. p. 517-526 (Modern Approaches for Intelligent Information and Database Systems, Vol. 769).

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

  5. Published

    A hamiltonian cycle in the square of a 2-connected graph in linear time. / Alstrup, Stephen; Georgakopoulos, Agelos; Rotenberg, Eva; Thomassen, Carsten.

    Proceedings of the Twenty-Ninth Annual ACM-SIAM Symposium on Discrete Algorithms. SIAM - Society for Industrial and Applied Mathematics, 2018. p. 1645-1649 (Proceedings of the Twenty-ninth Annual Acm-siam Symposium).

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

  6. Published

    At the roots of dictionary compression: String attractors. / Kempa, Dominik; Prezza, Nicola.

    Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing. Association for Computing Machinery, 2018. p. 827-40 (Proceedings of the Annual Acm Symposium on Theory of Computing).

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

  7. Published

    A Verified Simple Prover for First-Order Logic. / Villadsen, Jørgen; Schlichtkrull, Anders; Halkjær From, Andreas .

    Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning. CEUR-WS, 2018. p. 88--104 (CEUR Workshop Proceedings, Vol. 2162).

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

  8. Published

    Compressed and Practical Data Structures for Strings. / Christiansen, Anders Roy; Bille, Philip (Main supervisor); Gørtz, Inge Li (Supervisor).

    DTU Compute, 2018. 149 p. (DTU Compute PHD-2017, Vol. 464).

    Publication: ResearchPh.D. thesis – Annual report year: 2018

  9. Published

    Density of Real Zeros of the Tutte Polynomial. / Ok, Seongmin; Perrett, Thomas.

    In: Combinatorics, Probability & Computing, Vol. 27, No. 3, 2018, p. 398-410.

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

  10. Published

    Domino convergence: Why one should hill-climb on linear functions. / Witt, Carsten.

    Proceedings of the 2018 Genetic and Evolutionary Computation Conference. Association for Computing Machinery, 2018. p. 1539-1546.

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

  11. Published

    Drawing Trees. / Halkjær From, Andreas ; Schlichtkrull, Anders; Villadsen, Jørgen.

    Proceedings of the Isabelle Workshop 2018. 2018.

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

Previous 1 2 3 4 5 6 7 8 ...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