Escudo de la República de Colombia
Sistema Nacional de Biliotecas - Repositorio Institucional Universidad Nacional de Colombia Biblioteca Digital - Repositorio Institucional UN Sistema Nacional de Bibliotecas UN

A deductive calculus for conditional equational systems with built-in predicates as premises

Ayala-Rincón, Mauricio (2012) A deductive calculus for conditional equational systems with built-in predicates as premises. Revista Colombiana de Matemáticas; Vol. 31, núm. 2 (1997); 77-98 0034-7426 .

Texto completo

[img]
Vista previa
PDF
10MB

URL oficial: http://revistas.unal.edu.co/index.php/recolma/arti...

Resumen

Conditional equationally defined classes of many-sorted algebras, whose premises are conjunctions of (positive) equations and builtin predicates (constraints) in a basic first-order theory, are introduced. These classes are important in the field of algebraic specification because the combination of equational and built-in premises give rise to a type of clauses which is more expressive than purely conditional equations. A sound and complete deductive system is presented and algebraic aspects of these classes are investigated. In particular, the existence of free algebras is examined.

Tipo de documento:Artículo - Article
Palabras clave:Algebraic specification, rewriting systems, theorem proving
Unidad administrativa:Revistas electrónicas UN > Revista Colombiana de Matemáticas
Código ID:33759
Enviado por : Dirección Nacional de Bibliotecas STECNICO
Enviado el día :01 Julio 2014 10:36
Ultima modificación:18 Agosto 2014 20:26
Ultima modificación:18 Agosto 2014 20:26
Exportar:Clic aquí
Estadísticas:Clic aquí
Compartir:

Solamente administradores del repositorio: página de control del ítem

Vicerrectoría de Investigación: Número uno en investigación
Indexado por:
Indexado por Scholar Google WorldCat DRIVER Registry of Open Access Repositories OpenDOAR Metabiblioteca BDCOL OAIster Red de repositorios latinoamericanos DSpace BASE Open archives La referencia Colombiae Open Access Theses and Dissertations Tesis latinoamericanas CLACSO
Este sitio web se ve mejor en Firefox