Program Separation in GCLA

Göran Falkman, Lars Hallnäs, Olof Torgersson. Program Separation in GCLA. In Roy Dyckhoff, Lars-Henrik Eriksson, Alberto Momigliano, Mario Ornaghi, editors, ICLP 1994, Workshop W10: Proof-Theoretical Extensions on Logic Programming, Santa Margherita Ligure, Italy, June 1994. 1994.

Abstract

Abstract is missing.