- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
Online-Ressource
- Language
-
Englisch
- Bibliographic citation
-
ON A CONSTRUCTION OF MANY-SORTED STRUCTURES ; volume:17 ; number:3 ; year:1984 ; pages:757-766 ; extent:10
Demonstratio mathematica ; 17, Heft 3 (1984), 757-766 (gesamt 10)
- Creator
-
Jokisz-Zabilska, Ida
- DOI
-
10.1515/dema-1984-0318
- URN
-
urn:nbn:de:101:1-2411151548565.785541924586
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:21 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
- Jokisz-Zabilska, Ida
Other Objects (12)
Connecting many-sorted theories
ND-HYPERSUBSTITUTIONS OF MANY-SORTED ALGEBRAS
Restrictions and companions : two ways from many sorted to one-sorted algebras
A many-sorted calculus based on resolution and paramodulation
ON THE NOTION OF HOMOMORPHISM IN MANY-SORTED ALGEBRAS
On the Directly and Subdirectly Irreducible Many-Sorted Algebras
Beta-sorted portfolios
Beta-sorted portfolios
Gabriel Kuri, sorted, resorted
Higher-Order Order-Sorted Resolution
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Characteristic-sorted portfolios: Estimation and inference
Connecting many-sorted theories
ND-HYPERSUBSTITUTIONS OF MANY-SORTED ALGEBRAS
Restrictions and companions : two ways from many sorted to one-sorted algebras
A many-sorted calculus based on resolution and paramodulation
ON THE NOTION OF HOMOMORPHISM IN MANY-SORTED ALGEBRAS
On the Directly and Subdirectly Irreducible Many-Sorted Algebras
Beta-sorted portfolios
Beta-sorted portfolios
Gabriel Kuri, sorted, resorted
Higher-Order Order-Sorted Resolution
Sound and complete translations from sorted higher-order logic into sorted first-order logic
Characteristic-sorted portfolios: Estimation and inference
Connecting many-sorted theories
ND-HYPERSUBSTITUTIONS OF MANY-SORTED ALGEBRAS
Restrictions and companions : two ways from many sorted to one-sorted algebras
A many-sorted calculus based on resolution and paramodulation
ON THE NOTION OF HOMOMORPHISM IN MANY-SORTED ALGEBRAS
On the Directly and Subdirectly Irreducible Many-Sorted Algebras
Beta-sorted portfolios
Beta-sorted portfolios
Gabriel Kuri, sorted, resorted
Higher-Order Order-Sorted Resolution
Sound and complete translations from sorted higher-order logic into sorted first-order logic