Pages that link to "Item:Q1380412"
From MaRDI portal
The following pages link to Unification in sort theories and its applications (Q1380412):
Displaying 6 items.
- Regular expression order-sorted unification and matching (Q741252) (← links)
- Rasiowa-Sikorski deduction systems in computer science applications. (Q1853457) (← links)
- Reasoning without believing: on the mechanisation of presuppositions and partiality (Q4583173) (← links)
- Unification in pseudo-linear sort theories is decidable (Q4647533) (← links)
- Order-sorted Equational Unification Revisited (Q5166637) (← links)
- Reasoning with preorders and dynamic sorts using free variable tableaux (Q6560387) (← links)
