An Intuitionistic Analysis of Size-change Termination (Q5277982)
From MaRDI portal
scientific article; zbMATH DE number 6744296
Language | Label | Description | Also known as |
---|---|---|---|
English | An Intuitionistic Analysis of Size-change Termination |
scientific article; zbMATH DE number 6744296 |
Statements
12 July 2017
0 references
intuitionism
0 references
Ramsey's theorem
0 references
termination
0 references
An Intuitionistic Analysis of Size-change Termination (English)
0 references