A Complete Logic for Reasoning about Programs via Nonstandard Model Theory I.
Hajnal AndrékaIstván NémetiIldikó SainPublished in: Theor. Comput. Sci. (1982)
Keyphrases
- computational model
- theoretical framework
- high level
- probabilistic model
- statistical model
- mathematical model
- formal theory
- parameter estimation
- programming language
- probability distribution
- similarity measure
- em algorithm
- theoretical analysis
- multi agent
- theoretical foundation
- computational models
- formal model
- general theory
- decision trees