ImpactU - Detalle del Producto

An Inductive Theorem on the Correctness of General Recursive Programs

Acceso Cerrado

ID Minciencias: ART-0000181374-21

Ranking: ART-ART_A1

Idioma: Inglés

Publicado: 26/09/2007

APC (est): No disponible

JSON

HTML

BibTeX

Abstract:

Journal Article An Inductive Theorem on the Correctness of General Recursive Programs Get access Jaime Alejandro Bohórquez Jaime Alejandro Bohórquez Ingeniería de Sistemas, Escuela Colombiana de Ingeniería, AK 45 # 205 - 59 (Autopista Norte), Bogotá, Colombia. E-mail: jbohorqu@escuelaing.edu.co Search for other works by this author on: Oxford Academic Google Scholar Logic Journal of the IGPL, Volume 15, Issue 5-6, October 2007, Pages 373–399, https://doi.org/10.1093/jigpal/jzm053 Published: 01 October 2007 Article history Received: 11 July 2006 Published: 01 October 2007

Tópico:

Formal Methods in Verification

Citaciones:

Citaciones por año:

No hay datos de citaciones disponibles

Altmétricas:

Información de la Fuente:

FuenteLogic Journal of IGPL	Cuartil año de publicaciónNo disponible	Volumen15
Issue5-6	Páginas373 - 399	pISSNNo disponible
ISSN1367-0751	Perfil OpenAlexhttps://openalex.org/S2734381524

Enlaces e Identificadores:

Scienti ID	0000181374-21	Minciencias ID	ART-0000181374-21	Openalex URL	https://openalex.org/W2023298251
Oaipmh URL	https://repositorio.escuelaing.edu.co/oai/request?verb=GetRecord&metadataPrefix=dim&identifier=oai:repositorio.escuelaing.edu.co:001/1913	Dspace URL	https://repositorio.escuelaing.edu.co/handle/001/1913	Scholar URL	https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=info%3A0x2q33SGJ48J%3Ascholar.google.com&btnG=
Doi URL	https://doi.org/10.1093/jigpal/jzm053	Uri URL	https://repositorio.escuelaing.edu.co/handle/001/1913	Scholar citations URL	https://scholar.google.com/scholar?cites=10315361308042206675&as_sdt=5,33&sciodt=0,33&hl=en

Artículo de revista