MoL-2007-13: Extending Kleene's O Using Infinite Time Turing Machines

MoL-2007-13: Klev, Ansten Mørch (2007) Extending Kleene's O Using Infinite Time Turing Machines. [Report]

[thumbnail of Full Text]
Preview
Text (Full Text)
MoL-2007-13.text.pdf

Download (1MB) | Preview
[thumbnail of Abstract (RTF)] Text (Abstract (RTF))
MoL-2007-13.abstract.rtf

Download (1kB)
[thumbnail of Abstract (TXT)] Text (Abstract (TXT))
MoL-2007-13.abstract.txt

Download (897B)
Item Type: Report
Report Nr: MoL-2007-13
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/785

Actions (login required)

View Item View Item