×

Found 38 Documents (Results 1–38)

Kleene’s amazing second recursion theorem (extended abstract). (English) Zbl 1257.03064

Grädel, Erich (ed.) et al., Computer science logic. 23rd international workshop, CSL 2009, 18th annual conference of the EACSL, Coimbra, Portugal, September 7–11, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04026-9/pbk). Lecture Notes in Computer Science 5771, 24-39 (2009).
MSC:  03D20 03D45 03E15
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Year of Publication

all top 3

Main Field