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
Björn Lellmann
Universidad Técnica de Viena
Perfil externo:
Citaciones:
9
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...
1 Producto
Más citado
CSV
API
A uniform framework for substructural logics with modalities
Acceso Abierto
Fuente: EPiC series in computing
Björn Lellmann
Carlos Alberto Olarte Vega
Elaine Pimentel
Temas:
Linear logic
Axiom
Context (archaeology)
Computer science
Logical framework
Modal logic
Unary operation
Class (philosophy)
Algebra over a field
Sequent calculus
Substructural logic
Theoretical computer science
Bounded function
Non-classical logic
Mathematics
Accessibility relation
Affine transformation
Discrete mathematics
Modal
Description logic
Intermediate logic
Pure mathematics
Logical consequence
Multimodal logic
Artificial intelligence
Programming language
Mathematical analysis
Chemistry
Biology
Paleontology
Geometry
Mathematical proof
Polymer chemistry
Publicado: 2018
Citaciones:
9
Altmétricas:
0
Artículo de revista
1
NaN
