ImpactU - Detalle del Producto

Fundadores:

Producto desarrollado por:

@colav
Contacto

ImpactU:

Información:

ImpactU Versión 3.11.2
Última actualización:
Interfaz de Usuario: 16/10/2025
Base de Datos: 29/08/2025
Hecho en Colombia

Abstract Certification of Java Programs in Rewriting Logic

Acceso Abierto

ID Minciencias: IFI-0000183083-166

Ranking: IFI-IFI

Idioma: Inglés

Publicado: 24/11/2011

APC (est): No disponible

To my beloved ones

Logic, programming, and type systems

FuenteNo disponible	Cuartil año de publicaciónNo disponible	VolumenNo disponible
IssueNo disponible	PáginasNo disponible	pISSNNo disponible
ISSNNo disponible	Perfil OpenAlexNo disponible

Scienti ID	0000183083-166	Minciencias ID	IFI-0000183083-166	Doi URL	https://doi.org/10.4995/thesis/10251/13617
Open_access URL	https://riunet.upv.es/bitstream/10251/13617/1/tesisUPV3690.pdf	Openalex URL	https://openalex.org/W81940465

Informe