DMCA

Coalgebraic semantics for derivations in logic programming (2011)

by Ekaterina Komendantskaya , John Power
Venue:In CALCO’11
Citations:8 - 4 self