The \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic (Q1712495)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The M-computations induced by accessibility relations in nonstandard models M of Hoare logic |
scientific article; zbMATH DE number 7004783
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | The \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic |
scientific article; zbMATH DE number 7004783 |
Statements
The \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic (English)
0 references
22 January 2019
0 references
Hoare logic
0 references
recursive function
0 references
computable function
0 references
nonstandard model of Peano arithmetic
0 references
0.7760081887245178
0 references
0.773977518081665
0 references
0.7482945322990417
0 references
0.7445021867752075
0 references
