A Complete Logic for Reasoning about Programs via Nonstandard Model Theory II.

Hajnal Andréka István Németi Ildikó Sain

Published in: Theor. Comput. Sci. (1982)

Keyphrases

computational model
formal model
theoretical framework
mathematical model
knowledge base
probabilistic model
theoretical foundation
logical framework
high level
prior knowledge
statistical model
formal theory