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.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/2025
Hecho en Colombia
Dale Miller
Informatics laboratory of l'École polytechnique (LIX)
Institut National de Recherche en Informatique et en Automatique
Perfil externo:
Citaciones:
44
Productos:
1
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
Cargando información...
1 Producto
Más citado
CSV
API
A formal framework for specifying sequent calculus proof systems
Acceso Abierto
Fuente: Theoretical Computer Science
Dale Miller
Elaine Pimentel
Temas:
Natural deduction
Sequent calculus
Cut-elimination theorem
Proof calculus
Rule of inference
Sequent
Curry–Howard correspondence
Decidability
Mathematics
Structural proof theory
Proof theory
Intuitionistic logic
Linear logic
Calculus (dental)
Computer science
Algorithm
Discrete mathematics
Programming language
Mathematical proof
Medicine
Geometry
Dentistry
Publicado: 2012
Citaciones:
44
Altmétricas:
0
Artículo de revista
1
NaN
