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
Formalising Basic Topology for Computational Logic in Simple Type Theory
Acceso Cerrado
Idioma: Inglés
Publicado: 01/01/2022
APC (est):
No disponible
David Fuenmayor
Fabián Fernando Serrano Suarez
JSON
HTML
BibTeX
Abstract:
Abstract no disponible
Tópico:
Logic, Reasoning, and Knowledge
Citaciones:
1
Citaciones por año:
Altmétricas:
0
Información de la Fuente:
Fuente
Lecture notes in computer science
Cuartil año de publicación
No disponible
Volumen
No disponible
Issue
No disponible
Páginas
56 - 74
pISSN
No disponible
ISSN
1611-3349
Perfil OpenAlex
https://openalex.org/S106296714
Enlaces e Identificadores:
Openalex URL
https://openalex.org/W4296118015
Pdf URL
https://www.researchgate.net/profile/David-Fuenmayor/publication/363594933_Formalising_Basic_Topology_for_Computational_Logic_in_Simple_Type_Theory/links/63281af9071ea12e3644890b/Formalising-Basic-Topology-for-Computational-Logic-in-Simple-Type-Theory.pdf
Scholar citations URL
https://scholar.google.com/scholar?cites=4957027848428793218&as_sdt=2005&sciodt=0,5&hl=en
Doi URL
https://doi.org/10.1007/978-3-031-16681-5_4
Scholar URL
https://scholar.google.com/scholar?hl=en&as_sdt=0%2C5&q=info%3Agi1Rj5DmykQJ%3Ascholar.google.com&btnG=
Capítulo de libro
