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

Symbolic reachability analysis for rewrite theories

Acceso Cerrado

ID Minciencias: WP-0000287741-34

Ranking: WP-WP

Idioma: Inglés

Publicado: 03/02/2013

APC (est): No disponible

Abstract no disponible

Software Engineering Research

No hay DOI disponible para mostrar altmétricas

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

Minciencias ID	WP-0000287741-34	Scienti ID	0000287741-34	Scienti URL	https://www.ideals.illinois.edu/handle/2142/42200
Openalex URL	https://openalex.org/W3145236368

Documento de trabajo