Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
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
The μ-calculus alternation hierarchy collapses over structures with restricted connectivity
Acceso Abierto
Idioma: Inglés
Publicado: 28/03/2014
APC (est):
No disponible
Julian Eduardo Gutierrez Santiago
Felix Klaedtke
Martin Lange
PDF
JSON
HTML
BibTeX
Abstract:
Abstract no disponible
Tópico:
Formal Methods in Verification
Citaciones:
8
Citaciones por año:
Altmétricas:
0
Información de la Fuente:
Fuente
Theoretical Computer Science
Cuartil año de publicación
No disponible
Volumen
560
Issue
No disponible
Páginas
292 - 306
pISSN
No disponible
ISSN
0304-3975
Perfil OpenAlex
https://openalex.org/S90727058
Enlaces e Identificadores:
Scienti ID
0001314661-21
Pdf URL
https://www.sciencedirect.com/science/article/pii/S0304397514002497
Scholar URL
https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=info%3AbDeKtIURGcQJ%3Ascholar.google.com&btnG=
Openalex URL
https://openalex.org/W2962706960
Scholar citations URL
https://scholar.google.com/scholar?cites=14130344571808921452&as_sdt=2005&sciodt=0,5&hl=en
Scienti URL
http://www.sciencedirect.com/science/article/pii/S0304397514002497
Doi URL
https://doi.org/10.1016/j.tcs.2014.03.027
Open_access URL
https://doi.org/10.1016/j.tcs.2014.03.027
Artículo de revista
