Pages that link to "Item:Q2891443"

The following pages link to Solving Language Equations and Disequations with Applications to Disunification in Description Logics and Monadic Set Constraints (Q2891443):

Displaying 2 items.

• Language equations (Q2074222) (← links)
• Extending Unification in $\mathcal{EL}$ to Disunification: The Case of Dismatching and Local Disunification (Q2974785) (← links)