Many-Sorted and Single-Sorted Algebras

Algebra Universalis - Switzerland
doi 10.1007/s00012-013-0224-5
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Many-Valued and Many-Sorted Structure Relations

2019English

On Many-Sorted Ω-Categorical Theories

Fundamenta Mathematicae
Number TheoryAlgebra
2011English

A Characterization of the N-Ary Many-Sorted Closure Operators and a Many-Sorted Tarski Irredundant Basis Theorem

Quaestiones Mathematicae
Mathematics
2018English

Connecting Many-Sorted Structures and Theories Through Adjoint Functions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Many-Sorted Logic in a Learning Theorem Prover

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Multi-Sorted Argumentation

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Linear Two-Sorted Arithmetic

English

Thermoelectric Properties of Sorted Semiconducting Single-Walled Carbon Nanotube Sheets

Science and Technology of Advanced Materials
Materials Science
2019English

Bolometric-Effect-Based Wavelength-Selective Photodetectors Using Sorted Single Chirality Carbon Nanotubes

Scientific Reports
Multidisciplinary
2015English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy