zbMath1055.11525MaRDI QIDQ4717959
Daniel Richardson
Publication date: 1996
Mathematics Subject Classification ID
11U05: Decidability (number-theoretic aspects)
68Q55: Semantics in the theory of computing