Algorithms and Logic

  1. Research › Journal article
  2. Published

    Algorithmic Correspondence and Completeness in Modal Logic. III. Extensions of the Algorithm SQEMA with Substitutions. / Conradie, W.; Goranko, Valentin; Vakarelov, D.

    In: Fundamenta Informaticae, Vol. 92, No. 4, 2009, p. 307-343.

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

  3. Published

    Algorithmic correspondence and completeness in modal logic. V. Recursive extensions of SQEMA. / Conradie, Willem; Goranko, Valentin; Vakarelov, Dimiter.

    In: Journal of Applied Logic, Vol. 8, No. 4, 2010, p. 319-333.

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

  4. Published

    Analysis of Diversity-Preserving Mechanisms for Global Exploration. / Friedrich, Tobias; Oliveto, Pietro S.; Sudholt, Dirk; Witt, Carsten.

    In: Evolutionary Computation, Vol. 17, No. 4, 2009, p. 455-476.

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

  5. Published

    Ant Colony Optimization and the minimum spanning tree problem. / Neumann, Frank; Witt, Carsten.

    In: Theoretical Computer Science, Vol. 411, No. 25, 2010, p. 2406-2413.

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

  6. Published

    Approximating covering problems by randomized search heuristics using multi-objective models. / Friedrich, Tobias; He, Jun; Hebbinghaus, Niels; Neumann, Frank; Witt, Carsten.

    In: Evolutionary Computation, Vol. 18, No. 4, 2010, p. 617-633.

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

  7. Published

    Asymmetric k-Center with Minimum Coverage. / Gørtz, Inge Li.

    In: Information Processing Letters, Vol. 105, No. 4, 2008, p. 144-149.

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

  8. Published

    Black-Box Search by Unbiased Variation. / Lehre, Per Kristian; Witt, Carsten.

    In: Algorithmica, Vol. 64, No. 4, 2012, p. 623-642.

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

  9. Published

    Building Multi-Agent Systems Using Jason. / Boss, Niklas Skamriis; Jensen, Andreas Schmidt; Villadsen, Jørgen.

    In: Annals of Mathematics and Artificial Intelligence, Vol. 59, No. 3-4, 2010, p. 373-388.

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

  10. Published

    Classes and Theories of Trees Associated with a Class Of Linear Orders. / Goranko, Valentin; Kellerman, Ruaan.

    In: Interest Group in Pure and Applied Logics. Logic Journal, Vol. 19, No. 1, 2011, p. 217-232.

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

  11. Published

    Complete account of randomness in the EPR-Bohm-Bell experiment. / Avis, David; Fischer, Paul; Hilbert, Astrid; Khrennikov, Andrei.

    In: arXiv, 2008.

    Publication: ResearchJournal article – Annual report year: 2008

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