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
Janesky Agudelo
Universidad Estatal de Campinas
Perfil externo:
Citaciones:
35
Productos:
6
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...
6 Productos
Más citado
CSV
API
POLYNOMIAL RING CALCULUS FOR MODAL LOGICS: A NEW SEMANTICS AND PROOF METHOD FOR MODALITIES
Acceso Cerrado
ART-ART_B
ID Minciencias: ART-0000085332-20
Fuente: The Review of Symbolic Logic
Janesky Agudelo
Walter Carnielli
Juan Carlos Agudelo Agudelo
Temas:
Modal
Algebraic semantics
Kripke semantics
Modal logic
Accessibility relation
Normal modal logic
Semantics (computer science)
Mathematics
Rewriting
Algebra over a field
Calculus (dental)
Discrete mathematics
Computer science
Programming language
Pure mathematics
Medicine
Chemistry
Dentistry
Polymer chemistry
Publicado: 2010
Citaciones:
15
Altmétricas:
0
Artículo de revista
Paraconsistent Machines and their Relation to Quantum Computing
Acceso Abierto
ART-ART_C
ID Minciencias: ART-0000085332-18
Fuente: Journal of Logic and Computation
Janesky Agudelo
Walter Carnielli
Juan Carlos Agudelo Agudelo
Temas:
Paraconsistent logic
Quantum computer
State (computer science)
Computer science
Relation (database)
Humanities
Library science
Quantum
Algorithm
Philosophy
Theoretical computer science
Description logic
Physics
Higher-order logic
Quantum mechanics
Database
Publicado: 2009
Citaciones:
14
Altmétricas:
0
Artículo de revista
Máquinas de Turing paraconsistentes : una posible definición
Acceso Cerrado
Fuente: Matemáticas: Enseñanza Universitaria
Janesky Agudelo
Andrés Sicard Ramírez
Juan Carlos Agudelo Agudelo
Temas:
Humanities
Philosophy
Computer science
Publicado: 2004
Citaciones:
4
Artículo de revista
Paraconsistent Machines and their Relation to Quantum Computing
Acceso Abierto
Fuente: arXiv (Cornell University)
Janesky Agudelo
Walter Carnielli
Temas:
Turing machine
Computer science
Quantum computer
Theoretical computer science
Quantum Turing machine
Paraconsistent logic
Classical logic
Model of computation
Quantum complexity theory
Quantum logic
Time hierarchy theorem
Universal Turing machine
Computation
Algebra over a field
Algorithm
Mathematics
Quantum
Description logic
Quantum network
Programming language
Pure mathematics
Quantum mechanics
Physics
Multimodal logic
Publicado: 2008
Citaciones:
2
Altmétricas:
0
Artículo de revista
Unconventional Models Of Computation Through Non-standard Logic Circuits
Acceso Cerrado
ART-ART_B
ID Minciencias: ART-0000085332-15
Fuente: Scopus
Janesky Agudelo
Walter Carnielli
Juan Carlos Agudelo Agudelo
Temas:
Classical logic
Generalization
Propositional calculus
Łukasiewicz logic
Boolean circuit
Computability
Computer science
Mathematics
Theoretical computer science
Algebra over a field
Computation
Algorithm
Discrete mathematics
Many-valued logic
Boolean function
Substructural logic
Pure mathematics
Description logic
Mathematical analysis
Publicado: 2007
Citaciones:
0
Artículo de revista
Polynomial ring calculus for modal logics: A new semantics and proof method for modalities: Polynomial ring calculus for modal logics
Acceso Cerrado
Janesky Agudelo
Temas:
Modal
Mathematics
Calculus (dental)
Normal modal logic
Ring (chemistry)
Algebra over a field
Modal logic
Polynomial
Accessibility relation
Discrete mathematics
Pure mathematics
Mathematical analysis
Medicine
Chemistry
Dentistry
Organic chemistry
Polymer chemistry
Publicado: 2011
Citaciones:
0
Artículo de revista
1
NaN
