encarnacion-aguirre-arroyo documents

The Exact Complexity of the First- Order Logic Definibility Problem Marcelo Arenas PUC Chile Gonzalo Díaz University of Oxford
Documents The Exact Complexity of the First- Order Logic Definibility Problem Marcelo Arenas PUC Chile Gonzalo Díaz University of Oxford