TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 2.

Rohr, Alexander (2003):
A Universal Realizability Model for Sequential Functional Computation.
Darmstadt, Technische Universität, TU Darmstadt, [Online-Edition: urn:nbn:de:tuda-tuprints-3515],
[Ph.D. Thesis]

Rohr, Alexander (2002):
A universal realizability for sequential functional computation.
Darmstadt, Technische Univ. Darmstadt, TU Darmstadt, [Ph.D. Thesis]

This list was generated on Tue Oct 20 01:57:49 2020 CEST.