SODA

GCLA: Generalized horn clauses as a programming language

Aronsson, Martin and Hallnäs, Lars (1988) GCLA: Generalized horn clauses as a programming language. [SICS Report]

Full text not available from this repository.


Item Type:SICS Report
Additional Information:Original report number R88014. No longer distributed; replaced by R89005.
ID Code:2533
Deposited By:Vicki Carleson
Deposited On:17 Sep 2009
Last Modified:18 Nov 2009 16:10

Repository Staff Only: item control page