Vista normal Vista MARC Vista ISBD

Caicedo, Xavier

Finite model theory and computational complexity / Xavier Caicedo. - Bogotá, Colombia : Universidad de los Andes. Departamento de Matemática, 1995. - 74 p. ; 28 cm. - Apuntes de matemática ; 32 .

Incluye bibliografía.

Descriptores--Materias:
Theory of computation.
Model theory.
Complexity of computation.

Subjects--Index Terms: Teoría de la computación. Teoría de modelos. Complejidad de la computación.