The following pages link to Boris Konev (Q234711):
Displayed 20 items.
- (Q865047) (redirect page) (← links)
- On dynamic topological and metric logics (Q865049) (← links)
- Computer-aided proof of Erdős discrepancy properties (Q892235) (← links)
- Model-theoretic inseparability and modularity of description logic ontologies (Q2351041) (← links)
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) (Q2577589) (← links)
- (Q2751547) (← links)
- The Logical Difference for the Lightweight Description Logic EL (Q2905394) (← links)
- Logical Difference Computation with CEX2.5 (Q2908508) (← links)
- Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey (Q2970301) (← links)
- A SAT Attack on the Erdős Discrepancy Conjecture (Q3192068) (← links)
- (Q3509059) (← links)
- The Logical Difference Problem for Description Logic Terminologies (Q3541706) (← links)
- Formal Properties of Modularisation (Q3631354) (← links)
- (Q4558528) (← links)
- (Q4815318) (← links)
- (Q5282990) (← links)
- Automated Reasoning (Q5307069) (← links)
- Automated Deduction – CADE-20 (Q5394613) (← links)
- Automated Deduction – CADE-20 (Q5394614) (← links)
- MAX SAT approximation beyond the limits of polynomial-time approximation (Q5957907) (← links)