]> BibSonomy publications for /author/Konev http://www.bibsonomy.org/burst/author/Konev BibSonomy BuRST Feed for /author/Konev 2008-10-08T11:08:29+02:00 The Logical Difference Problem for Description Logic Terminologies. dblphttp://www.bibsonomy.org/bibtex/2cd7bf7d766bca71b25e0f853b7598c15/dblp dblp 2008-09-05T00:00:00+02:00 dblp
The Logical Difference Problem for Description Logic Terminologies.
Boris Konev and Dirk Walther and Frank Wolter IJCAR 259-274 (2008)
to dblp by dblp on 2008-09-05 00:00:00 ]]> IJCARconf/cade/2008259-274Lecture Notes in Computer ScienceThe Logical Difference Problem for Description Logic Terminologies.51952008dblp 2008-09-05 00:00:00.0 Logical Difference and Module Extraction with CEX and MEX. dblphttp://www.bibsonomy.org/bibtex/2c90287047dde53a06cfe80a9ccee5441/dblp dblp 2008-06-26T00:00:00+02:00 dblp
Logical Difference and Module Extraction with CEX and MEX.
Boris Konev and Carsten Lutz and Dirk Walther and Frank Wolter Description Logics (2008)
to dblp by dblp on 2008-06-26 00:00:00 ]]> Description Logicsconf/dlog/2008CEUR Workshop ProceedingsLogical Difference and Module Extraction with CEX and MEX.3532008dblp 2008-06-26 00:00:00.0 Efficient First-Order Temporal Logic for Infinite-State Systems dblphttp://www.bibsonomy.org/bibtex/205cd3487a95fe560856e6b71b5a9eb80/dblp dblp 2008-01-02T00:00:00+01:00 dblp
Efficient First-Order Temporal Logic for Infinite-State Systems
Clare Dixon and Michael Fisher and Boris Konev and Alexei Lisitsa CoRR abs/cs/0702036 (2007)
to dblp by dblp on 2008-01-02 00:00:00 ]]> CoRRinformal publicationEfficient First-Order Temporal Logic for Infinite-State Systemsabs/cs/07020362007dblp 2008-01-02 00:00:00.0 Monodic temporal resolution dblphttp://www.bibsonomy.org/bibtex/29b8e77b10e44b806b3770483d0ab2981/dblp dblp 2008-01-02T00:00:00+01:00 dblp
Monodic temporal resolution
Anatoli Degtyarev and Michael Fisher and Boris Konev CoRR cs.LO/0306041 (2003)
to dblp by dblp on 2008-01-02 00:00:00 ]]> CoRRinformal publicationMonodic temporal resolutioncs.LO/03060412003dblp 2008-01-02 00:00:00.0 On Dynamic Topological and Metric Logics. dblphttp://www.bibsonomy.org/bibtex/296ea3b85f169628343af5574f85f1ae6/dblp dblp 2007-12-19T00:00:00+01:00 dblp
On Dynamic Topological and Metric Logics.
Boris Konev and Roman Kontchakov and Frank Wolter and Michael Zakharyaschev Studia Logica 84 129-160 (2006)
to dblp by dblp on 2007-12-19 00:00:00 ]]> Studia Logica1129-160On Dynamic Topological and Metric Logics.842006dblp 2007-12-19 00:00:00.0 Idempotent Transductions for Modal Logics. dblphttp://www.bibsonomy.org/bibtex/2e833e377514ec0ea2244315961285f3e/dblp dblp 2007-08-29T00:00:00+02:00 dblp
Idempotent Transductions for Modal Logics.
Tim French FroCos 178-192 (2007)
to dblp by dblp on 2007-08-29 00:00:00 ]]> FroCosconf/frocos/2007178-192Lecture Notes in Computer ScienceIdempotent Transductions for Modal Logics.47202007dblp 2007-08-29 00:00:00.0 Combining Algorithms for Deciding Knowledge in Security Protocols. dblphttp://www.bibsonomy.org/bibtex/2b64bab4949dafa1b516993c77d2d1945/dblp dblp 2007-08-29T00:00:00+02:00 dblp
Combining Algorithms for Deciding Knowledge in Security Protocols.
Mathilde Arnaud and Véronique Cortier and Stéphanie Delaune FroCos 103-117 (2007)
to dblp by dblp on 2007-08-29 00:00:00 ]]> FroCosconf/frocos/2007103-117Lecture Notes in Computer ScienceCombining Algorithms for Deciding Knowledge in Security Protocols.47202007dblp 2007-08-29 00:00:00.0 Temporal Logic with Capacity Constraints. dblphttp://www.bibsonomy.org/bibtex/242cfbc481e4621f8c0661770836a6b30/dblp dblp 2007-08-29T00:00:00+02:00 dblp
Temporal Logic with Capacity Constraints.
Clare Dixon and Michael Fisher and Boris Konev FroCos 163-177 (2007)
to dblp by dblp on 2007-08-29 00:00:00 ]]> FroCosconf/frocos/2007163-177Lecture Notes in Computer ScienceTemporal Logic with Capacity Constraints.47202007dblp 2007-08-29 00:00:00.0 A Compressing Translation from Propositional Resolution to Natural Deduction. dblphttp://www.bibsonomy.org/bibtex/202b6ef3d6d38fb5aad6f725495959e74/dblp dblp 2007-08-29T00:00:00+02:00 dblp
A Compressing Translation from Propositional Resolution to Natural Deduction.
Hasan Amjad FroCos 88-102 (2007)
to dblp by dblp on 2007-08-29 00:00:00 ]]> FroCosconf/frocos/200788-102Lecture Notes in Computer ScienceA Compressing Translation from Propositional Resolution to Natural Deduction.47202007dblp 2007-08-29 00:00:00.0 Languages Modulo Normalization. dblphttp://www.bibsonomy.org/bibtex/20019bcbaef2fad945036f5861427b38a/dblp dblp 2007-08-29T00:00:00+02:00 dblp
Languages Modulo Normalization.
Hitoshi Ohsaki and Hiroyuki Seki FroCos 221-236 (2007)
to dblp by dblp on 2007-08-29 00:00:00 ]]> FroCosconf/frocos/2007221-236Lecture Notes in Computer ScienceLanguages Modulo Normalization.47202007dblp 2007-08-29 00:00:00.0