Pages that link to "Item:Q2849484"

The following pages link to Uniform Interpolation of $\mathcal{ALC}$ -Ontologies Using Fixpoints (Q2849484):

Displaying 2 items.

• Semantic forgetting in expressive description logics (Q831928) (← links)
• Second-Order Quantifier Elimination on Relational Monadic Formulas – A Basic Method and Some Less Expected Applications (Q3455775) (← links)