Pages that link to "Item:Q4365057"
From MaRDI portal
The following pages link to Order-sorted feature theory unification (Q4365057):
Displaying 3 items.
- Similarity measures over refinement graphs (Q420926) (← links)
- Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach (Q2219192) (← links)
- Some notes on declarative specification of semantic data integration task in a peer-to-peer agent system (Q2269092) (← links)