Login / Signup
The M-computations induced by accessibility relations in nonstandard models M of Hoare logic.
Cungen Cao
Yuefei Sui
Zaiyue Zhang
Published in:
Frontiers Comput. Sci. (2016)
Keyphrases
</>
data mining
probabilistic model
complex systems
information retrieval
experimental data
computational models
horn clauses