The following pages link to Unification theory (Q6169561):
Displaying 4 items.
- On unification and admissible rules in Gabbay-de Jongh logics (Q386639) (← links)
- Restricted unification in the DL \(\mathcal{FL}_0\) (Q831925) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Unification in matching logic (Q6535966) (← links)
