Coalgebraic semantics for parallel derivation strategies in logic programming

Ekaterina Komendantskaya^*, Guy McCusker, John Power

^*Corresponding author for this work

School of Computer Science

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

1 results

Finished
Fellowship CLANN EP/F044046/1: Computational Logic in Artificial Neural Networks
Dyckhoff, R. (PI)
EPSRC
1/10/08 → 30/09/11
Project: Fellowship