Publication:4474838
From MaRDI portal
zbMath1044.03523MaRDI QIDQ4474838
Solomampionona Ranaivoson, Arnaud Durand
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.)