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

Linear Logical Relations for Session-Based Concurrency

Acceso Abierto

ID Minciencias: ART-0000698580-33

Ranking: ART-GC_ART

Idioma: Inglés

Publicado: 01/01/2012

APC (est): No disponible

Abstract no disponible

Logic, programming, and type systems

FuenteLecture notes in computer science	Cuartil año de publicaciónNo disponible	VolumenNo disponible
IssueNo disponible	Páginas539 - 558	pISSNNo disponible
ISSN1611-3349	Perfil OpenAlexhttps://openalex.org/S106296714

Scienti ID	0000086614-33	Scienti ID	0000698580-33	Minciencias ID	ART-0000698580-33
Openalex URL	https://openalex.org/W82946149	Open_access URL	https://link.springer.com/content/pdf/10.1007/978-3-642-28869-2_27.pdf	Doi URL	https://doi.org/10.1007/978-3-642-28869-2_27
Scienti URL	http://www2.in.tum.de/esop2012/

Artículo de revista