MoL-2007-15: Decidability of S2S

MoL-2007-15: Kissig, Christian (2007) Decidability of S2S. [Report]

[img]
Preview
Text (Full Text)
MoL-2007-15.text.pdf

Download (359kB) | Preview
[img] Text (Abstract)
MoL-2007-15.abstract.txt

Download (4kB)
Item Type: Report
Report Nr: MoL-2007-15
Series Name: Master of Logic Thesis (MoL) Series
Year: 2007
Date Deposited: 12 Oct 2016 14:38
Last Modified: 12 Oct 2016 14:38
URI: https://eprints.illc.uva.nl/id/eprint/787

Actions (login required)

View Item View Item