Coalgebraic semantics for derivations in logic programming

Ekaterina Komendantskaya, John Power

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

18 Citations (Scopus)

18 Citations
1 Article

1 results

Filter

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)

337 Downloads (Pure)