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.)