DMCA

Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming

by Ekaterina Komendantskaya , Guy Mccusker , John Power
Citations:6 - 4 self