- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
ND-HYPERSUBSTITUTIONS OF MANY-SORTED ALGEBRAS ; volume:43 ; number:3 ; year:2010 ; pages:519-538 ; extent:20
Demonstratio mathematica ; 43, Heft 3 (2010), 519-538 (gesamt 20)
- Creator
-
Denecke, K.
Lekkoksung, S.
- DOI
-
10.1515/dema-2010-0305
- URN
-
urn:nbn:de:101:1-2411171634411.903523756265
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:32 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Denecke, K.
- Lekkoksung, S.
Other Objects (12)
Restrictions and companions : two ways from many sorted to one-sorted algebras
ON THE NOTION OF HOMOMORPHISM IN MANY-SORTED ALGEBRAS
On the Directly and Subdirectly Irreducible Many-Sorted Algebras
Connecting many-sorted theories
ON A CONSTRUCTION OF MANY-SORTED STRUCTURES
A many-sorted calculus based on resolution and paramodulation
Beta-sorted portfolios
Beta-sorted portfolios
Gabriel Kuri, sorted, resorted
Topological aspects of quasi *-algebras with sufficiently many *-representations
Higher-Order Order-Sorted Resolution
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Restrictions and companions : two ways from many sorted to one-sorted algebras
ON THE NOTION OF HOMOMORPHISM IN MANY-SORTED ALGEBRAS
On the Directly and Subdirectly Irreducible Many-Sorted Algebras
Connecting many-sorted theories
ON A CONSTRUCTION OF MANY-SORTED STRUCTURES
A many-sorted calculus based on resolution and paramodulation
Beta-sorted portfolios
Beta-sorted portfolios
Gabriel Kuri, sorted, resorted
Topological aspects of quasi *-algebras with sufficiently many *-representations
Higher-Order Order-Sorted Resolution
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Restrictions and companions : two ways from many sorted to one-sorted algebras
ON THE NOTION OF HOMOMORPHISM IN MANY-SORTED ALGEBRAS
On the Directly and Subdirectly Irreducible Many-Sorted Algebras
Connecting many-sorted theories
ON A CONSTRUCTION OF MANY-SORTED STRUCTURES
A many-sorted calculus based on resolution and paramodulation
Beta-sorted portfolios
Beta-sorted portfolios
Gabriel Kuri, sorted, resorted
Topological aspects of quasi *-algebras with sufficiently many *-representations
Higher-Order Order-Sorted Resolution