Taming the wild ant-lion; a counterexample to a conjecture of Böhm (Q5269003)
From MaRDI portal
scientific article; zbMATH DE number 6731041
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Taming the wild ant-lion; a counterexample to a conjecture of Böhm |
scientific article; zbMATH DE number 6731041 |
Statements
Taming the wild ant-lion; a counterexample to a conjecture of Böhm (English)
0 references
14 June 2017
0 references
combinators
0 references
numeral systems
0 references