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.

[thumbnail of Full Text] Text (Full Text)

Download (503kB)
[thumbnail of Samenvatting] Text (Samenvatting)

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 View Item