Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by George Voutsadakis
Categorical Abstract Algebraic Logic: Subdirect Representation of Pofunctors
Communications in Algebra
Number Theory
Algebra
Package-Based Description Logics
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Differential-Algebraic Dynamic Logic for Differential-Algebraic Programs
Journal of Logic and Computation
Arts
Humanities
Hardware
Architecture
Logic
Theoretical Computer Science
Software
Categorical Clustering of the Neural Representation of Color
Journal of Neuroscience
Neuroscience
Partial Hyperdoctrines: Categorical Models for Partial Function Logic and Hoare Logic
Mathematical Structures in Computer Science
Mathematics
Computer Science Applications
The Representation of Abstract Integrals
Transactions of the American Mathematical Society
Mathematics
Applied Mathematics
Categorical Views on Computations on Trees (Extended Abstract)
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Many-Valued Logic: Beyond Algebraic Semantics
Soft Computing
Geometry
Software
Theoretical Computer Science
Topology
A Categorical Proof of the Parshin Reciprocity Laws on Algebraic Surfaces
Algebra and Number Theory
Number Theory
Algebra
Categorical Representation of Facial Expressions in the Infant Brain
Infancy
Child Health
Developmental
Pediatrics
Perinatology
Educational Psychology
Potoses: Categorical Paraconsistent Universum for Paraconsistent Logic and Mathematics
Logical Investigations