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...

Full description

Autores:

Ayala Rincón, Mauricio
Tavares Araújo, Ivan E.

Tipo de recurso:

Trabajo de grado de pregrado

Fecha de publicación:

2001

Institución:

Universidad Autónoma de Bucaramanga - UNAB

Repositorio:

Repositorio UNAB

Idioma:

spa

OAI Identifier:

oai:repository.unab.edu.co:20.500.12749/9069

Acceso en línea:

http://hdl.handle.net/20.500.12749/9069

Palabra clave:

Innovaciones tecnológicas
Ciencia de los computadores
Desarrollo de tecnología
Ingeniería de sistemas
Investigaciones
Tecnologías de la información y las comunicaciones
TIC´s
Technological innovations
Computer science
Technology development
Systems engineering
Investigations
Information and communication technologies
ICT's
Algebraic specification
Equational unification
Algebraic specification
Innovaciones tecnológicas
Ciencias de la Computación
Desarrollo tecnológico
Ingeniería de Sistemas
Investigación
Unificación ecuacional
Razonamiento automatizado
Especificación algebraica

Rights

License

Derechos de autor 2001 Revista Colombiana de Computación