Módulo de unificación aritmética pre-hamburguesa y otras teorías decidibles
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 decidibili...
Autores Principales: | , |
---|---|
Otros Autores: | |
Formato: | Artículo (Article) |
Lenguaje: | Español (Spanish) |
Publicado: |
Universidad Autónoma de Bucaramanga UNAB
2020
|
Materias: | |
Acceso en línea: | http://hdl.handle.net/20.500.12749/9069 |