Exploiting parallelism in coalgebraic logic programming

Ekaterina Komendantskaya, Martin Schmidt, Jonathan Heras

    Research output: Contribution to journalArticlepeer-review

    4 Citations (Scopus)
    293 Downloads (Pure)
    Filter
    Chapter

    Search results

    • Chapter

      Coalgebraic derivations in logic programming

      Komendantskaya, E. & Power, J., 2011, Leibniz International Proceedings in Informatics, LIPIcs. Dagstuhl Publications, Vol. 12. p. 352-366 15 p.

      Research output: Chapter in Book/Report/Conference proceedingChapter

      13 Citations (Scopus)