Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Rodrigo Peláez
On Many-Sorted Ω-Categorical Theories
Fundamenta Mathematicae
Number Theory
Algebra
Related publications
Connecting Many-Sorted Structures and Theories Through Adjoint Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Many-Sorted and Single-Sorted Algebras
Algebra Universalis
Number Theory
Logic
Algebra
Many-Valued and Many-Sorted Structure Relations
Many Worlds, Many Theories?
Revista Brasileira de Politica Internacional
International Relations
Political Science
History
A Characterization of the N-Ary Many-Sorted Closure Operators and a Many-Sorted Tarski Irredundant Basis Theorem
Quaestiones Mathematicae
Mathematics
Many-Sorted Logic in a Learning Theorem Prover
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Equivalence of Categorical Calculus Theories Based on Smoothness and Boundedness.
On Cardinalities of Algebras of Formulas for $Ω_0$-Categorical Theories
Colloquium Mathematicum
Mathematics
Recent Progress in Many-Body Theories
