×

Found 3 Documents (Results 1–3)

100
MathJax

Program self-reference in constructive Scott subdomains. (English) Zbl 1266.03051

Ambos-Spies, Klaus (ed.) et al., Mathematical theory and computational practice. 5th conference on computability in Europe, CiE 2009, Heidelberg, Germany, July 19–24, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03072-7/pbk). Lecture Notes in Computer Science 5635, 89-98 (2009).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

Year of Publication

Classification