zbMath0586.03038MaRDI QIDQ3712330
Hans-Georg Carstens, Peter Paeppinghaus
Publication date: 1984
zbMATH Keywords
tree; traps; recursive unsolvability; chips
Mathematics Subject Classification ID
03D80: Applications of computability and recursion theory
05Cxx: Graph theory