Algorithms and Logic

  1. Research › Journal article
  2. Published

    Logic for physical space : From antiquity to present days. / Aiello, Marco; Bezhanishvili, Guram; Bloch, Isabelle; Goranko, Valentin.

    In: Synthese, Vol. 186, No. 3, 2012, p. 619-632.

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

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

  4. Published

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

    In: Algorithmica, Vol. 62, No. 1-2, 2012, p. 209-223.

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

  5. Published

    Faster Approximate String Matching for Short Patterns. / Bille, Philip.

    In: Theory of Computing Systems, Vol. 50, No. 3, 2012, p. 492–515.

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

  6. Published

    Fast searching in packed strings. / Bille, Philip.

    In: Journal of Discrete Algorithms (Amsterdam), Vol. 9, No. 1, 2011, p. 49-56.

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

  7. Published

    Improved Approximate String Matching and Regular Expression Matching on Ziv-Lempel Compressed Texts. / Bille, Philip; Fagerberg, Rolf; Gørtz, Inge Li.

    In: A C M Transactions on Algorithms, Vol. 6, No. 1, 2009, p. article number 3.

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

  8. Published

    Matching Subsequences in Trees. / Bille, Philip; Gørtz, Inge Li.

    In: Journal of Discrete Algorithms, Vol. 7, No. 3, 2009, p. 306-314.

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

  9. Published

    String matching with variable length gaps. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Wind, David Kofoed.

    In: Theoretical Computer Science, Vol. 443, 2012, p. 25-34.

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

  10. Published

    The Tree Inclusion Problem: In Linear Space and Faster. / Bille, Philip; Gørtz, Inge Li.

    In: A C M Transactions on Algorithms, Vol. 7, No. 3, 2011, p. 38.

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

  11. Published

    Epistemic planning for single- and multi-agent systems. / Bolander, Thomas; Andersen, Mikkel Birkegaard.

    In: Journal of Applied Non-Classical Logics, Vol. 21, No. 1, 2011, p. 9-34.

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

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