Searching for "Sorting Morphisms." – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Sorting Morphisms
- …Sorting morphisms Lex Augusteijn Philips Research Laboratories, Eindhoven Email: lex…
- Cited by 18 (0 self) – Add To MetaCart
-
Equational Axiomatizability for Coalgebra
- … many-sorted morphisms which are identities on data. 2 From now on, let (H; \Sigma) be a hidden…
- Cited by 14 (3 self) – Add To MetaCart
-
Equational Axiomatizability for Coalgebra
- … many-sorted morphisms which are identities on data. 2 From now on, let (H; \Sigma) be a hidden…
- Add To MetaCart
-
Formalization of Variables in Algebraic High-Level Nets: Comparison of Different Approaches
- … by the sort morphism f S , so the two variables now must be bound to the same term when the transition end…
- Cited by 3 (3 self) – Add To MetaCart
-
Sortings for reactive systems
- … is analogous to a typing discipline for terms: Each sort gives an abstract view of its morphisms, in the same…
- Cited by 10 (7 self) – Add To MetaCart
-
statement of the Fundamental Theorem of Hecke Operators Theorem 18. We
- … different sort of morphism, namely a span of G-sets S ��������� ��� ��� � A B where the arrows are G…
- Add To MetaCart
-
Class Polymorphism in GLIDER
- … correspond to basic sorts, sequences correspond to generic sorts, and morphisms represent subclass relations…
- Add To MetaCart
-
Amalgamation in CASL via Enriched Signatures
- …, but not vice versa. A signature morphism consists of an order-preserving map between the associated sort…
- Cited by 1 (1 self) – Add To MetaCart
-
Combining Decision Procedures for Theories in Sorted Logics
- … ′ s ′ are different. (Similarly for predicate symbols interpretations.) Definition 1 (Many-sorted Morphisms). Let Σ…
- Cited by 2 (1 self) – Add To MetaCart
-
Higher-Dimensional Algebra VII:
- … interesting to consider a different sort of morphism, namely a span of G-sets S """""" """ O…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
