Módulo de unificación aritmética pre-hamburguesa y otras teorías decidibles
Ver/
Citación
Comparte este contenido
Fecha
2001-12-01Otros contribuidores
Metadatos
Mostrar el registro completo del ítemDocumentos PDF
Resumen
Presentamos un algoritmo de unificación general módulo Presburger Arithmetic para una clase restringida de teorías especificadas modularmente donde los símbolos de función de la teoría objetivo tienen clases de codominio no aritméticas. Además, comentamos las condiciones que garantizan la decidibilidad de problemas de emparejamiento y unificación módulo teorías más generales que las aritméticas, que aparecen cuando se implementa la deducción automática combinando técnicas de reescritura condicional y algoritmos de decisión para predicados incorporados.
Palabras clave
Innovaciones tecnológicas; Ciencias de la Computación; Desarrollo tecnológico; Ingeniería de Sistemas; InvestigaciónKeywords
Technological innovations; Computer science; Technology development; Systems engineering; Investigations; Information and communication technologies; ICT's; Algebraic specification; Equational unification; Algebraic specificationEnlace al recurso
Fuente del recurso
- Revista Colombiana de Computación; Vol. 2 Núm. 2 (2001): Revista Colombiana de Computación; 1-14
Enlace a este registro en el Repositorio Institucional UNAB
http://hdl.handle.net/20.500.12749/9069
Comentarios