Non-deterministic Epsilon Substitution Method for PA and ID 1 (Q5361259)
From MaRDI portal
scientific article; zbMATH DE number 6781295
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Non-deterministic Epsilon Substitution Method for PA and ID 1 |
scientific article; zbMATH DE number 6781295 |
Statements
Non-deterministic Epsilon Substitution Method for PA and ID 1 (English)
0 references
27 September 2017
0 references
Penno arithmetic
0 references
arithmetical inductive definitions
0 references
non-deterministic substitution
0 references
termination
0 references
