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 \(\mathbf{M}\)-computations induced by accessibility relations in nonstandard models \(\mathbf{M}\) of Hoare logic |
scientific article; zbMATH DE number 7004783
| Language | Label | Description | Also known as |
|---|---|---|---|
| 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
