Return to search

A universal realizability model for sequential functional computation

Techn. University, Diss., 2002--Darmstadt.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/174987762
CreatorsRohr, Alexander.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
TypeOnline-Publikation.

Page generated in 0.0019 seconds