CT-1994-12: Gentzen Systems for Logic Programming Styles

CT-1994-12: Kalsbeek, Marianne (1994) Gentzen Systems for Logic Programming Styles. [Report]

Text (Full Text) CT-1994-12.text.ps.gz Download (154kB)

Item Type:	Report
Report Nr:	CT-1994-12
Series Name:	Computation and Complexity Theory (CT)
Year:	1994
Date Deposited:	12 Oct 2016 14:39
Last Modified:	12 Oct 2016 14:39
URI:	https://eprints.illc.uva.nl/id/eprint/1060

Actions (login required)

View Item