The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Documents on: join specification

RP612 1992 Research Paper Vargas-Vera,M; Robertson,DS; Inder,R
A Mathematical Framework for the Problem of Combination of Prolog Programs
RP636 1993 Research Paper Vargas-Vera,M; Robertson,DS; Inder,R
Combining Prolog Programs in a Techniques Editing System


[Search These Pages] [DAI Home Page] [Comment]