4 Results for (keywords_en:RECURSION THEORY)

Subscribe to RSS feed for this result set

1. Galois theory for combinatory algebras and its application to recursion theory

Gloor, Oliver Patrik Andreas (1995)


Doctoral and Habilitation Theses

2. Adaptive Detektoren für die Datenübertragung über rekursive Kanäle

Ernst, Thomas (1996)


Doctoral and Habilitation Theses

3. A formal semantics for isorecursive and equirecursive state abstractions

Summers, Alexander J. and Drossopoulou, Sophia (2012)


Reports

4. Combinatory differential fields and constructive analysis

Aberer, Karl (1991)


Doctoral and Habilitation Theses