Return to search

A universal realizability model for sequential functional computation

Darmstadt, Techn. Univ., Diss., 2002. / Computerdatei im Fernzugriff.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/637376575
Date January 2003
CreatorsRohr, Alexander.
Publisher[S.l.] : [s.n.],
Source SetsOCLC
LanguageUndetermined
Detected LanguageEnglish

Page generated in 0.0053 seconds