Algorithms and Logic

  1. 2010
  2. E-pub ahead of print

    Crossover Can Be Constructive When Computing Unique Input Output Sequences. / Lehre, Per Kristian; Yao, Xin.

    In: Soft Computing, 2010.

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

  3. Published

    Fast Arc-Annotated Subsequence Matching in Linear Space. / Bille, Philip; Gørtz, Inge Li.

    SOFSEM 2010: Theory and Practice of Computer Science. Springer, 2010. p. 188-199 (Lecture Notes in Computer Science, Vol. 5901).

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

  4. Published

    Hybrid Logical Analyses of the Ambient Calculus. / Bolander, Thomas; Hansen, Rene Rydhof.

    In: Information and Computation, Vol. 208, No. 5, 2010, p. 433-449.

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

  5. Published

    Metric Propositional Neighborhood Logics: Expressiveness, Decidability, and Undecidability. / Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    Proceedings of the 19th European Conference on Artificial Intelligence (ECAI'10). ed. / Michael Wooldridge. 2010. p. 695-700 (Frontiers in Artificial Intelligence and Applications; No. 215).

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

  6. Published

    Model-Checking CTL* over Flat Presburger Counter Systems. / Demri, Stéphane; Finkel, Alain; Goranko, Valentin; van Drimmelen, Govert.

    In: Journal of Applied Non-Classical Logics, Vol. 20, No. 4, 2010, p. 313-344.

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

  7. Published

    Multi-Agent Programming Contest 2010 - The Jason-DTU Team. / Villadsen, Jørgen; Boss, Niklas Skamriis; Jensen, Andreas Schmidt; Vester, Steen.

    Technical University of Denmark, 2010. 4 p.

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

  8. Published

    Nabla: A Linguistic System Based on Type Theory. / Villadsen, Jørgen.

    LIT Verlag Dr. Wilhelm Hopf, 2010. 232 p. (Foundations of Communication and Cognition; No. 3).

    Publication: Research - peer-reviewBook – Annual report year: 2010

  9. Published

    Nominalistic Logic. / Villadsen, Jørgen.

    World Congress and School on Universal Logic. 2010. p. 84-85.

    Publication: Research - peer-reviewConference abstract in proceedings – Annual report year: 2010

  10. Published

    On the Effect of Populations in Evolutionary Multi-Objective Optimisation. / Giel, Oliver; Lehre, Per Kristian.

    In: Evolutionary Computation, Vol. 18, No. 3, 2010, p. 335-356.

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

  11. Published

    Preface. / Bolander, Thomas; Braüner, Torben.

    In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 1-2.

    Publication: ResearchConference article – Annual report year: 2011

Previous 1...4 5 6 7 8 9 10 11 ...14 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word