Exploiting parallelism in coalgebraic logic programming

Ekaterina Komendantskaya, Martin Schmidt, Jonathan Heras

    Research output: Contribution to journalArticlepeer-review

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

    Search results

    • 2011

      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)