Connecting Many-Sorted Structures and Theories Through Adjoint Functions

Lecture Notes in Computer Science - Germany
doi 10.1007/11559306_2
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

On Many-Sorted Ω-Categorical Theories

Fundamenta Mathematicae
Number TheoryAlgebra
2011English

Many-Sorted and Single-Sorted Algebras

Algebra Universalis
Number TheoryLogicAlgebra
2013English

Many-Valued and Many-Sorted Structure Relations

2019English

Many Worlds, Many Theories?

Revista Brasileira de Politica Internacional
International RelationsPolitical ScienceHistory
2016English

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

Quaestiones Mathematicae
Mathematics
2018English

Many-Sorted Logic in a Learning Theorem Prover

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1997English

Self-Adjoint Toeplitz Operators and Associated Orthonormal Functions

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1962English

Recent Progress in Many-Body Theories

2002English

Student Voice and Engagement: Connecting Through Partnership

Tertiary Education and Management
EducationHuman Resource ManagementOrganizational Behavior
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy