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
A formal framework for specifying sequent calculus proof systems
Acceso Abierto
Idioma: Inglés
Publicado: 20/12/2012
APC (est):
No disponible
Dale Miller
Elaine Pimentel
PDF
JSON
HTML
BibTeX
Abstract:
Abstract no disponible
Tópico:
Logic, programming, and type systems
Citaciones:
44
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
474
Issue
No disponible
Páginas
98 - 116
pISSN
No disponible
ISSN
0304-3975
Perfil OpenAlex
https://openalex.org/S90727058
Enlaces e Identificadores:
Scholar citations URL
https://scholar.google.com/scholar?cites=3649440335614749452&as_sdt=2005&sciodt=0,5&hl=en
Pdf URL
https://www.sciencedirect.com/science/article/pii/S0304397512010894/pdf?md5=aad76e33a82a71a1c777ba4302ca3e9c&pid=1-s2.0-S0304397512010894-main.pdf
Doi URL
https://doi.org/10.1016/j.tcs.2012.12.008
Open_access URL
https://doi.org/10.1016/j.tcs.2012.12.008
Scholar URL
https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=info%3ADKtMUaZqpTIJ%3Ascholar.google.com&btnG=
Openalex URL
https://openalex.org/W2033813295
Artículo de revista
