The Expressive Power of Bijections over Weakly Arithmetized Structures

Étienne Ailloud, Arnaud Durand. The Expressive Power of Bijections over Weakly Arithmetized Structures. Theory Comput. Syst., 39(2):297-309, 2006. [doi]

Abstract

Abstract is missing.