Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Jonathan D. H. Smith
Many-Sorted and Single-Sorted Algebras
Algebra Universalis
Number Theory
Logic
Algebra
Related publications
Many-Valued and Many-Sorted Structure Relations
On Many-Sorted Ω-Categorical Theories
Fundamenta Mathematicae
Number Theory
Algebra
A Characterization of the N-Ary Many-Sorted Closure Operators and a Many-Sorted Tarski Irredundant Basis Theorem
Quaestiones Mathematicae
Mathematics
Connecting Many-Sorted Structures and Theories Through Adjoint Functions
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Many-Sorted Logic in a Learning Theorem Prover
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Multi-Sorted Argumentation
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Linear Two-Sorted Arithmetic
Thermoelectric Properties of Sorted Semiconducting Single-Walled Carbon Nanotube Sheets
Science and Technology of Advanced Materials
Materials Science
Bolometric-Effect-Based Wavelength-Selective Photodetectors Using Sorted Single Chirality Carbon Nanotubes
Scientific Reports
Multidisciplinary
