Holdings: Biortogonalidad para corrección de compiladores y adecuación computacional

Universidad Nacional de Córdoba

U.N.C.

Catálogo colectivo

El Catálogo Colectivo reúne los registros del material que posee cada una de las bibliotecas de la Universidad Nacional de Córdoba, pudiendo encontrarse colecciones especializadas y actualizadas en todas las áreas del conocimiento; lo que permite una amplia visibilidad y garantiza el acceso al patrimonio documental de la Universidad. Se encuentra disponible para toda la comunidad académica: estudiantes, docentes, egresados e investigadores. Si formas parte de la comunidad de la UNC también podés solicitar préstamos de material, a cualquier biblioteca universitaria, utilizando el servicio de préstamo interbibliotecario, independientemente de la facultad a la que pertenezcas, la carrera que curses o la cátedra que dictes.

Fuentes de datos

Koha

Facultad de Ciencias Agropecuarias
Facultad de Ciencias Económicas
Facultad de Lenguas
Escuela de Nutrición (FCM)
Facultad de Arquitectura, Urbanismo y Diseño
Facultad de Artes
Facultad de Ciencias Exactas, Físicas y Naturales
Biblioteca Mayor
Observatorio Astronómico de Córdoba
Centros de Estudios Avanzados
Facultad de Matemáticas, Astronomía, Física y Computación
Facultad de Medicina
Facultad de Odontología
Facultad de Comunicación
Facultad de Filosofía y Humanidades y Facultad de Psicología
Escuela Superior de Comercio Manuel Belgrano
Colegio Nacional de Monserrat
Facultad de Ciencias Químicas
Facultad de Ciencias Sociales
Facultad de Derecho
José Aricó
Museo de Antropología
Escuela de Salud Pública y Ambiente de la FCM

Otros

Cover Image

Biortogonalidad para corrección de compiladores y adecuación computacional

Tesis (Doctor en Ciencias de la Computación)--Universidad Nacional de Córdoba, Facultad de Matemática, Astronomía, Física y Computación, 2019.

Found in:	Repositorio Digital Universitario
Main Author:	Gadea, Alejandro Emilio
Other Authors:	Pagano, Miguel María
Format:	Doctoral Thesis publishedVersion Online
Language:	spa
Published:	2019
Subjects:	Coherencia Relaciones lógicas Corrección de compiladores Adecuación computacional Mecanización Theory of computation Logic and verification Denotational semantics Categorical semantics Operational semantics Bracketing
Online Access:	http://hdl.handle.net/11086/14324

Internet

http://hdl.handle.net/11086/14324

Cannot write session to /tmp/vufind_sessions/sess_ufnt47gpm78tnth32oqmbvstm1