Domains and processes
Domains and processes2001
Guo-Qiang Zhang, International Symposium on Domain Theory (1st 1999 Shanghai, China), Yixiang Chen, Ying Ming Liu
Details
- First published
- 2001
- OL Work ID
- OL12340007W
Subjects
CongressesSemanticsProgramming languages (Electronic computers)Computer ProgrammingMathematical logicMathematical theory of computationProgramming Languages - GeneralProgramming Language SemanticsComputersComputers - Languages / ProgrammingComputer Books: GeneralProgramming - GeneralGeneralLogicPhilosophy / LogicProgramming languages (ElectroProgramming languages (electronic computers)