Pages that link to "Item:Q235683"

The following pages link to Giora Slutzki (Q235683):

Displaying 5 items.

• PS\textsc{pace} tableau algorithms for acyclic modalized \({\mathcal{ALC}}\) (Q352965) (← links)
• Dynamic fractional cascading (Q908708) (← links)
• A Conceptual Framework for Secrecy-preserving Reasoning in Knowledge Bases (Q2946749) (← links)
• Package-Based Description Logics (Q3631366) (← links)
• COMPUTATIONAL COMPLEXITY OF GENERATORS AND NONGENERATORS IN ALGEBRA (Q4791998) (← links)