Return to search

Decidability and expressiveness of logics of processes /

Thesis--University of Washington. / Vita. Bibliography: leaves [164]-167.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/6950881
Date January 1980
CreatorsAbrahamson, Karl Raymond.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
TypeTheses
SourceConnect to this title online; UW restricted

Page generated in 0.0024 seconds