![](/img/cover-not-exists.png)
The M-computations induced by accessibility relations in nonstandard models M of Hoare logic
Cao, Cungen, Sui, Yuefei, Zhang, ZaiyueVolume:
10
Language:
english
Journal:
Frontiers of Computer Science
DOI:
10.1007/s11704-015-4024-2
Date:
August, 2016
File:
PDF, 300 KB
english, 2016