Skip to content
Logo gov.co
Logo Redcol
  • Inicio
  • La Red
    • Quiénes Somos
    • Objetivos
    • Historia de la Red
    • ¿Cómo ser parte de la red?
    • Contacto
  • Servicios
    • Cursos y Talleres
    • Recursos
    • Colecciones Especializadas
    • Destacados

Contraste

Aumentar letra

Reducir letra

Centro de relevo

  • Home
  • Módulo de unificación aritméti...
  • Cite this
  • Text this
  • Email this
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote

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

Similar Items

  • Hernández Arzusa, Julio César; (2017) Reflexiones sobre estructuras topológicas y algebraicas topológicas

  • Estrada Serna, Alejandro; (2016) MVW-rigs

  • Xohua-Chacón, José Antonio; Benítez-Guerrero, Edgard Iván Mezura-Godoy, Carmen. (2018) Un sistema tangible para el aprendizaje de álgebra relacional

  • Lara Cobos, Martha; (2012) Los números fraccionarios y el aprendizaje del álgebra

  • Camacho López, María Elisa; (2019) La cesión de créditos en los proyectos de armonización y unificación del derecho de los contratos

 
logo
logo co

Ministerio de Ciencia Tecnología e Innovación

Dirección: Avenida Calle 26 No. 57 – 83 Torre 8 - Pisos del 2 al 6
Código Postal: 111321
Horario de Atención: Lunes a Jueves 8:00am - 5:00pm y Viernes 7:00am- 4:00pm (Jornada contínua).

  • Twitter
  • Youtube
  • Facebook

Contacto

Teléfono Conmutador: +(57) (1) 6258480 ext. 2081
Línea Gratuita: 01-800-0914446
Correo Institucional: atencionalciudadano@minciencias.gov.co
Correo de notificaciones judiciales:
notificacionesjudiciales@minciencias.gov.co
Política de seguridad de la información

logo
logo co
Loading...