Skip to main navigation Skip to search Skip to main content

Coalgebraic derivations in logic programming

  • Ekaterina Komendantskaya
  • , John Power

    Research output: Chapter in Book/Report/Conference proceedingChapter

    Search results

    • 2014

      Exploiting parallelism in coalgebraic logic programming

      Komendantskaya, E., Schmidt, M. & Heras, J., 28 Mar 2014, In: Electronic Notes in Theoretical Computer Science. 303, p. 121-148 28 p., ENTCS18421.

      Research output: Contribution to journalArticlepeer-review

      Open Access
      File
      384 Downloads (Pure)