Módulo de unificación aritmética pre-hamburguesa y otras teorías decidibles

 

Authors

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

Format

Article

Status

Versión aceptada para publicación

Description

Publication Year

2001

Language

Spanish

Topic

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

Repository

Repositorio UNAB

Get full text

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

Rights

Open access

License

Derechos de autor 2001 Revista Colombiana de Computación