Return to search

From syntactic theories to interpreters : specifying and proving properties /

Thesis (Ph. D.)--University of Oregon, 2004. / Typescript. Includes vita and abstract. Includes bibliographical references (leaves 152-155). Also available for download via the World Wide Web; free to University of Oregon users.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/57229717
Date January 2004
CreatorsXiao, Yong.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
Sourceview abstract or download file of text

Page generated in 0.0016 seconds