Mostrar el registro sencillo del objeto digital

dc.contributor.author	MARCIAL ROMERO, JOSE RAYMUNDO
dc.contributor.author	Hernández Servín, José Antonio
dc.creator	MARCIAL ROMERO, JOSE RAYMUNDO; 39478
dc.creator	Hernández Servín, José Antonio; 89146
dc.date.accessioned	2016-03-16T17:19:12Z
dc.date.available	2016-03-16T17:19:12Z
dc.date.issued	2010
dc.identifier	http://www.redalyc.org/articulo.oa?id=92513175004
dc.identifier.uri	http://hdl.handle.net/20.500.11799/39947
dc.description	The language LRTp is a non-deterministic language for exact real number computation. It has been shown that all computable rst order relations in the sense of Brattka are denable in the language. If we restrict the language to single-valued total relations (e.g. functions), all polynomials are denable in the language. This paper is an expanded version of [12] in which we show that the non-deterministic version of the limit operator, which allows to dene all computable rst order relations, when restricted to single-valued total inputs, produces single-valued total outputs. This implies that not only the polynomials are denable in the language but also allcomputable rst order functions.
dc.format	application/pdf
dc.language.iso	eng	es
dc.publisher	Asociación Española para la Inteligencia Artificial
dc.relation	http://www.redalyc.org/revista.oa?id=925
dc.rights	openAccess
dc.rights.uri	http://creativecommons.org/licenses/by-nc-nd/4.0
dc.source	Inteligencia Artificial. Revista Iberoamericana de Inteligencia Artificial (España) Num.48 Vol.14
dc.subject	Ingeniería	es
dc.subject	Exact real-number computation	es
dc.subject	Sequential Computation	es
dc.subject	PCF	es
dc.subject	Semantics of programming lan- guages	es
dc.subject.classification	INGENIERÍA Y TECNOLOGÍA
dc.title	Functional first order definability of LRTp	es
dc.type	Artículo
dc.provenance	Científica
dc.road	Dorada
dc.ambito	Internacional	es
dc.audience	students
dc.audience	researchers
dc.type.conacyt	article
dc.identificator	7

Ficheros en el objeto digital

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

• Conacyt [10019]
  
• Artículos publicados en revistas arbitradas de Redalyc.org [4450]
  

Visualización del Documento

Mostrar el registro sencillo del objeto digital