B. Konev

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4558528	2018-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q5282990	2017-07-18	Paper
Inseparability and Conservative Extensions of Description Logic Ontologies: A Survey	2017-03-30	Paper
Computer-aided proof of Erdős discrepancy properties	2015-11-18	Paper
Model-theoretic inseparability and modularity of description logic ontologies	2015-06-26	Paper
A SAT Attack on the Erdős Discrepancy Conjecture	2014-09-26	Paper
Logical Difference Computation with CEX2.5	2012-09-05	Paper
The logical difference for the lightweight description logic \(\mathcal {EL}\)	2012-08-27	Paper
Formal Properties of Modularisation	2009-06-09	Paper
The Logical Difference Problem for Description Logic Terminologies	2008-11-27	Paper
https://portal.mardi4nfdi.de/entity/Q3509059	2008-07-01	Paper
Automated Reasoning	2007-09-25	Paper
On dynamic topological and metric logics	2007-02-13	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Automated Deduction – CADE-20	2006-11-01	Paper
Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\)	2006-01-03	Paper
https://portal.mardi4nfdi.de/entity/Q4815318	2004-09-07	Paper
MAX SAT approximation beyond the limits of polynomial-time approximation	2002-03-13	Paper
Using meta-variables for natural deduction in \textit{Theorema}	2001-10-21	Paper

This page was built for person: B. Konev