Declarative Logic Programming with Primitive Recursive Relations on Lists (1996)

Cached

Download Links

by Andreas Hamfelt , Jørgen Fischer Nilsson
Venue:Procs. Joint International Conference and Symposium on Logic Programming 1996
Citations:11 - 5 self