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.
En este trabajo, estudiamos tipos de datos que poseen un sort consistente en el álgebra de Boole de dos elementos, junto con un test de igualdad eq[sub s](x, y) para cada sort s. A esta clase de tipos de datos se los llama equality - test (ET). Primero probaremos que toda especificación inicial Γ co...
|a Especificación de álgebras con equality - test /
|c Gabriela Martín ; dir. por Héctor Gramaglia.
260
|a [S.l. :
|b s.n. ],
|c 1999.
300
|a 37 h. :
|b il. ;
|c 30 cm.
502
|a Tesis (Lic. en Matemática)--Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía y Física, 1999.
504
|a Incluye referencias bibliográficas: h. 37.
520
|a En este trabajo, estudiamos tipos de datos que poseen un sort consistente en el álgebra de Boole de dos elementos, junto con un test de igualdad eq[sub s](x, y) para cada sort s. A esta clase de tipos de datos se los llama equality - test (ET). Primero probaremos que toda especificación inicial Γ con sentencias universales de un tipo de datos ET A puede ser transformada en una especificación completa, es decir inicial y final Γ' formada por ecuaciones condicionales. Luego estudiaremos extensiones de tipos cualesquiera a tipos de datos con un equality - test generalizado. Por último se investigan las condiciones en que esta extensión es un tipo de datos equality - test.
590
|a La biblioteca posee 1 ej.
650
4
|a Applications of universal algebra
|e computer science.
