Filter
Chapter

Search results

  • 2016

    On the complexity of resource-bounded logics

    Alechina, N., Bulling, N., Demri, S. & Logan, B., 2016, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Verlag, p. 36-50 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 9899).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

    Open Access
  • 2015

    Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection

    Ågotnes, T. & Alechina, N., 2015, Logic in Asia: Studia Logica Library. Springer Nature, p. 1-22 22 p. (Logic in Asia: Studia Logica Library).

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review