Pages that link to "Item:Q2842593"
From MaRDI portal
The following pages link to A categorical approach to unification of generalised terms (Q2842593):
Displaying 10 items.
- Determinisation of relational substitutions in ordered categories with domain (Q604457) (← links)
- Categorical generalization of a universal domain (Q1306717) (← links)
- Fuzzy unification and generalization of first-order terms over similar signatures (Q1671154) (← links)
- Monads for the formalization of a pattern matching procedure (Q2017780) (← links)
- Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach (Q2219192) (← links)
- Powersets of terms and composite monads (Q2457025) (← links)
- Determinisation of Relational Substitutions in Ordered Categories with Domain (Q3498418) (← links)
- Partially Ordered Monads and Rough Sets (Q3600299) (← links)
- Categorical Innovations for Rough Sets (Q3628686) (← links)
- A unified framework for generalized multicategories (Q5200289) (← links)