Buscar
Mostrando ítems 1-1 de 1
Módulo de unificación aritmética pre-hamburguesa y otras teorías decidibles
(Universidad Autónoma de Bucaramanga UNAB, 2001-12-01)
Tipo de documento: Artículo
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 ...