Coalgebraic derivations in logic programming

Ekaterina Komendantskaya, John Power

Research output: Chapter in Book/Report/Conference proceeding › Chapter

13 Citations (Scopus)

13 Citations
1 Article

1 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 journal › Article › peer-review

Open Access
File
4 Citations (Scopus)

344 Downloads (Pure)