1. 2016
  2. Published

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

    Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP 2016). ed. / Jasmin Christian Blanchette; Stephan Merz. Springer, 2016. p. 341-357 (Lecture Notes in Computer Science, Vol. 9807).

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

  3. Published

    Game-based verification and synthesis. / Vester, Steen; Hansen, Michael Reichhardt (Main supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2016. 203 p. (DTU Compute PHD-2016; No. 414).

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

  4. Published

    Graph Decompositions. / Merker, Martin; Thomassen, Carsten (Supervisor).

    Kgs. Lyngby : Technical University of Denmark (DTU), 2016. 97 p. (DTU Compute PHD-2016; No. 431).

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

  5. Published

    Group-colouring, group-connectivity, claw-decompositions, and orientations in 5-edge-connected planar graphs. / Richter, R. Bruce; Thomassen, Carsten; Younger, Daniel H. .

    In: Journal of Combinatorics, Vol. 7, No. 2-3, 2016, p. 219-232.

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

  6. Published

    Guest Editorial: Theory of Evolutionary Computation. / Doerr, Benjamin; Witt, Carsten.

    In: Algorithmica, Vol. 75, No. 3, 2016, p. 425-427.

    Publication: Research - peer-reviewEditorial – Annual report year: 2016

  7. Published

    Hedetniemi's conjecture for Kneser hypergraphs. / Hajiabolhassan, Hossein; Meunier, Frédéric.

    In: Journal of Combinatorial Theory, Series A, Vol. 143, 2016, p. 42-55.

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

  8. Published

    How I convinced Isabelle that resolution is complete. / Schlichtkrull, Anders.

    2016. Abstract from CADILLAC Workshop, Copenhagen, Denmark.

    Publication: Research - peer-reviewConference abstract for conference – Annual report year: 2016

  9. Published

    Infinitely connected subgraphs in graphs of uncountable chromatic number. / Thomassen, Carsten.

    In: Combinatorica, 2016.

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

  10. Published

    Isolating highly connected induced subgraphs. / Penev, Irena; Thomasse, Stephan; Trotignon, Nicolas.

    In: S I A M Journal on Discrete Mathematics, Vol. 30, No. 1, 2016, p. 592-619.

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

  11. Published

    Liftings in Finite Graphs and Linkages in Infinite Graphs with Prescribed Edge-Connectivity. / Ok, Seongmin; Richter, R. Bruce; Thomassen, Carsten.

    In: Graphs and Combinatorics, Vol. 32, No. 6, 2016, p. 2575-2589.

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

Previous 1...4 5 6 7 8 9 10 11 ...26 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