Publication:4474843
From MaRDI portal
zbMath1044.03527MaRDI QIDQ4474843
Michael A. Taitslin, Alexei P. Stolboushkin
Publication date: 21 July 2004
03D15: Complexity of computation (including implicit computational complexity)
03C13: Model theory of finite structures
68Q15: Complexity classes (hierarchies, relations among complexity classes, etc.)