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
Walter Carnielli
Hospital de Clínicas da Unicamp
Universidad Estatal de Campinas
Perfil externo:
Citaciones:
21
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...
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
Polynomial ring calculus for modalities
Acceso Cerrado
ART-ART_A1
ID Minciencias: ART-0000085332-7
Fuente: Journal of Logic and Computation
Juan Carlos Agudelo Agudelo
Walter Carnielli
Temas:
Calculus (dental)
Ring (chemistry)
Polynomial
Mathematics
Polynomial ring
Algebra over a field
Computer science
Pure mathematics
Medicine
Mathematical analysis
Chemistry
Dentistry
Organic chemistry
Publicado: 2015
Citaciones:
4
Altmétricas:
0
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
The Wonder of Colors and the Principle of Ariadne
Acceso Cerrado
Fuente: Springer eBooks
Walter Carnielli
Carlos A Di Prisco
Temas:
Finitary
Axiom of choice
Mathematics
Axiom
Finite set
Set (abstract data type)
Infinite set
Discrete mathematics
Set theory
Computer science
Mathematical analysis
Geometry
Programming language
Publicado: 2017
Citaciones:
0
Altmétricas:
0
Capítulo de libro
Tableaux sin refutación
Acceso Cerrado
Fuente: Matemáticas: Enseñanza Universitaria
Tomas Andres Barrero Guzman
Walter Carnielli
Temas:
Computer science
Publicado: 2005
Citaciones:
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
1
NaN
