CT-1991-12: Reasoning about Termination of Prolog Programs

CT-1991-12: Apt, Krzysztof R. and Pedreschi, Dino (1991) Reasoning about Termination of Prolog Programs. [Report]

[img]
Preview
Text (Full Text)
CT-1991-12.text.pdf

Download (4MB) | Preview
Item Type: Report
Report Nr: CT-1991-12
Series Name: Computation and Complexity Theory (CT)
Year: 1991
Date Deposited: 12 Oct 2016 14:39
Last Modified: 12 Oct 2016 14:39
URI: https://eprints.illc.uva.nl/id/eprint/1038

Actions (login required)

View Item View Item