Program Separation in GCLA.
Gran Falkman, Lars Hallns, Olof Torgersson
VenueBICLP
Year1994
ProceedingsICLP Workshop: Proof-Theoretical Extensions on Logic Programming
DBLP recordconf/iclp/FalkmanHT94 ↗
Browse the full ICLP paper archive.
Gran Falkman, Lars Hallns, Olof Torgersson
Browse the full ICLP paper archive.