Pages that link to "Item:Q1671154"
From MaRDI portal
The following pages link to Fuzzy unification and generalization of first-order terms over similar signatures (Q1671154):
Displaying 5 items.
- Signatures: definitions, operators and applications to fuzzy modelling (Q1759750) (← links)
- Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach (Q2219192) (← links)
- A categorical approach to unification of generalised terms (Q2842593) (← links)
- A Generic Framework for Higher-Order Generalizations. (Q5089010) (← links)
- Solving Proximity Constraints (Q5097630) (← links)