Reverse Mathematics and Recursive Graph Theory (Q4224080)
From MaRDI portal
scientific article; zbMATH DE number 1236717
Language | Label | Description | Also known as |
---|---|---|---|
English | Reverse Mathematics and Recursive Graph Theory |
scientific article; zbMATH DE number 1236717 |
Statements
Reverse Mathematics and Recursive Graph Theory (English)
0 references
19 August 1999
0 references
reverse mathematics
0 references
graph theory
0 references
Hamiltonian paths
0 references
Eulerian paths
0 references
second-order arithmetic
0 references