Corrigendum to On the expressiveness and decidability of o-minimal hybrid systems [J. Complexity 21 (2005) 447-478]

Thomas Brihaye, Christian Michaux. Corrigendum to On the expressiveness and decidability of o-minimal hybrid systems [J. Complexity 21 (2005) 447-478]. J. Complexity, 22(3):431-434, 2006. [doi]

Abstract

Abstract is missing.