Exploiting parallelism in coalgebraic logic programming

Ekaterina Komendantskaya, Martin Schmidt, Jonathan Heras

    Research output: Contribution to journalArticlepeer-review

    4 Citations (Scopus)
    321 Downloads (Pure)
    Conference contribution

    Search results

    • 2011

      Coalgebraic semantics for derivations in logic programming

      Komendantskaya, E. & Power, J., 2011, Algebra and Coalgebra in Computer Science: 4th International Conference, CALCO 2011, Winchester, UK, August 30 – September 2, 2011. Proceedings. Corradini, A., Klin, B. & Cirstea, C. (eds.). Berlin: Springer , p. 268-282 15 p. (Lecture notes in computer science; vol. 6859).

      Research output: Chapter in Book/Report/Conference proceedingConference contribution

      18 Citations (Scopus)