Pages that link to "Item:Q1380412"
From MaRDI portal
The following pages link to Unification in sort theories and its applications (Q1380412):
Displaying 11 items.
- Order-sorted unification (Q582269) (← links)
- Regular expression order-sorted unification and matching (Q741252) (← links)
- Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457) (← links)
- Simultaneous rigid sorted unification for tableaux (Q1863821) (← links)
- A theoretical look at \textsc{Electre Tri}-nB and related sorting models (Q2688878) (← links)
- Reasoning without believing: on the mechanisation of presuppositions and partiality (Q4583173) (← links)
- Sorting Multidimensional Types: Theory and Application (Q4610846) (← links)
- Unification in pseudo-linear sort theories is decidable (Q4647533) (← links)
- AC unification through order-sorted AC1 unification (Q5055752) (← links)
- Order-sorted Equational Unification Revisited (Q5166637) (← links)
- Reasoning with preorders and dynamic sorts using free variable tableaux (Q6560387) (← links)