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
  • Sustituciones explícitas y tod...
  • Cite this
  • Text this
  • Email this
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote

Sustituciones explícitas y todo eso

 

Authors
Ayala Rincón, Mauricio; Muñoz, César
Format
Article
Status
Versión aceptada para publicación
Description

Publication Year
2000
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
Clean Sustitución
Orden superior
Teoría de la reescritura
Programacion
Innovaciones tecnológicas
Ciencias de la Computación
Desarrollo tecnológico
Ingeniería de sistemas
Investigaciones
Sustitución explícita
Orden superior
Teoría de la reescritura
Programación
Repository
Repositorio UNAB
Get full text
http://hdl.handle.net/20.500.12749/9084
Rights
Open access
License
Derechos de autor 2000 Revista Colombiana de Computación

Similar Items

  • Rocha, Camilo; (2013) Heurísticas de búsqueda de prueba automática en la herramienta de análisis invariante de maude

  • Ayala Rincón, Mauricio; Hartenstein, Reiner W. Maya Neto, Rinaldi Jacobi, Ricardo P. Llanos, Carlos Humberto. (2002) Especificación, exploración y simulación arquitectónicas a través de la lógica de reescritura

  • Rocha, Camilo; Meseguer, José. (2007) Un procedimiento de decisión de reescritura de la lógica silogística de Dijkstra-Scholten con complementos

  • Reina Quintero, Antonia M.; Torres, Jesús. (2004) Componentes + aspectos: una descripción general

  • Figueiredo, Lucília; Camarão, Carlos. (2002) Una vista sobre tipos abstractos y extensibles

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