Algorithms and Logic

  1. Research › Journal article
  2. Published

    Tableau-Based Decision Procedures for Hybrid Logic. / Bolander, Thomas; Braüner, Torben.

    In: Journal of Logic and Computation, Vol. 16, 2006, p. 737-763.

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

  3. Published

    Tableau-Based Decision Procedures for Logics of Strategic Ability in Multiagent Systems. / Goranko, Valentin; Shkatov, Dmitry.

    In: ACM Transactions on Computational Logic, Vol. 11, No. 1, 2010, p. 3.

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

  4. Published

    Tableau tool for testing satisfiability in LTL: Implementation and experimental analysis. / Goranko, Valentin; Kyrilov, Angelo; Shkatov, Dmitry.

    In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 113-125.

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

  5. Published

    Theoretical analysis of two ACO approaches for the traveling salesman problem. / Kötzing, Timo; Neumann, Frank; Röglin, Heiko; Witt, Carsten.

    In: Swarm Intelligence, Vol. 6, No. 1, 2012, p. 1-21.

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

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

  7. Published

    Undecidability of the Logic of Overlap Relation over Discrete Linear Orderings. / Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido.

    In: Electronic Notes in Theoretical Computer Science, Vol. 262, 2010, p. 65-81.

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

  8. Research › Conference article
  9. 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

  10. Published

    Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders. / Della Monica, Dario; Goranko, Valentin; Sciavicco, Guido.

    In: Electronic Notes in Theoretical Computer Science, Vol. 273, No. 1, 2011, p. 3-19.

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

  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

  12. Published

    Tableaux for Logics of Subinterval Structures over Dense Orderings. / Bresolin, Davide; Goranko, Valentin; Montanari, Angelo; Sala, Pietro.

    In: Journal of Logic and Computation, Vol. 20, No. 1, 2010, p. 133-166.

    Publication: Research - peer-reviewConference 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