Ficheros en el ítem

Este ítem aparece en la(s) siguiente(s) colección(ones)

Visualización del Documento

  • Título
  • Functional first order definability of LRTp
  • Autor
  • J. Raymundo Marcial-Romero
  • J. A. Hernández
  • Editor
  • Asociación Española para la Inteligencia Artificial
  • Tipo de documento
  • Artículo
  • Palabras clave
  • Ingeniería
  • Exact real-number computation
  • Sequential Computation
  • PCF
  • Semantics of programming lan- guages
  • Los documentos depositados en el Repositorio Institucional de la Universidad Autónoma del Estado de México se encuentran a disposición en Acceso Abierto bajo la licencia Creative Commons: Atribución-NoComercial-SinDerivar 4.0 Internacional (CC BY-NC-ND 4.0)

Buscar en RI


Buscar en RI

Usuario

Estadísticas