DS-1995-07: Transformation and Analysis of (Constraint) Logic Programs

DS-1995-07: Etalle, Sandro (1995) Transformation and Analysis of (Constraint) Logic Programs. Doctoral thesis, University of Amsterdam.

	Text (Full Text) DS-1995-07.text.ps.gz Download (503kB)
	Text (Samenvatting) DS-1995-07.samenvatting.txt Download (3kB)

Item Type:	Thesis (Doctoral)
Report Nr:	DS-1995-07
Series Name:	ILLC Dissertation (DS) Series
Year:	1995
Subjects:	Logic
Depositing User:	Dr Marco Vervoort
Date Deposited:	14 Jun 2022 15:16
Last Modified:	14 Jun 2022 15:16
URI:	https://eprints.illc.uva.nl/id/eprint/1980

Actions (login required)

View Item