Repository | Directory | Profile

Paqui Lucio
A functorial framework for constraint normal logic programming
2006
in: Algebra, meaning, and computation, Dordrecht : Springer

Repository | Directory | Profile
A functorial framework for constraint normal logic programming
2006
in: Algebra, meaning, and computation, Dordrecht : Springer