MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Boris Konev" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

26 documents found, showing 1 through 10. Next 10 →

ATOM

Upper Bound on the Height of Terms in Proofs with Cuts
by Boris Konev — 1998
…PDMI PREPRINT --- 17/1998 UPPER BOUND ON THE HEIGHT OF TERMS IN PROOFS WITH CUTS Boris Konev 1…
Add To MetaCart

On herbrand’s theorem for intuitionistic logic
by Er Lyaletski, Boris Konev — 2006 — In Logics in Artificial Intelligence: 10th European Conference, JELIA 2006
…On Herbrand’s Theorem for Intuitionistic Logic ⋆ Alexander Lyaletski 1 and Boris Konev 2 1 Faculty…
Cited by 1 (1 self) – Add To MetaCart

TRP ++ : A temporal resolution prover
by Ullrich Hustadt, Boris Konev — 2002 — In Collegium Logicum
…TRP ++ : A temporal resolution prover ? Ullrich Hustadt and Boris Konev ?? Logic…
Cited by 3 (1 self) – Add To MetaCart

Solution Lifting Method for Handling by Meta-variables in THEOREMA
by Boris Konev, Tudor Jebelean
… Solution Lifting Method for Handling Meta-Variables in TH9OREM8 Boris Konev \Lambda y Tudor…
Cited by 2 (0 self) – Add To MetaCart

TRP++ 2.0: A temporal resolution prover
by Ullrich Hustadt, Boris Konev — 2003 — In Proc. CADE-19, LNAI
…TRP++ 2.0: A temporal resolution prover ⋆ Ullrich Hustadt and Boris Konev ⋆⋆ Department…
Cited by 13 (8 self) – Add To MetaCart

A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic
by Anatoly Degtyarev, Michael Fisher, Boris Konev — 2002 — In Tableaux 2002, Proceedings
… Degtyarev, Michael Fisher, and Boris Konev ?? Logic and Computation Group, Department of Computer Science…
Cited by 13 (9 self) – Add To MetaCart

Handling equality in monodic temporal resolution
by Boris Konev? Anatoli Degtyarev — 2003 — In Proceedings of 10th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR). Lecture Notes in Computer Science
… Handling Equality in Monodic Temporal Resolution Boris Konev1?, Anatoli Degtyarev2, and Michael…
Cited by 6 (4 self) – Add To MetaCart

Is There a Future for Deductive Temporal Verification
by Clare Dixon, Michael Fisher, Boris Konev — 2006 — In Proc. TIME-06. IEEE Computer
… Konev Department of Computer Science The University of Liverpool, Liverpool L69 3BX, United Kingdom C.Dixon,M.Fisher,B.Konev…
Cited by 5 (4 self) – Add To MetaCart

Tractable Temporal Reasoning
by Clare Dixon, Michael Fisher, Boris Konev — 2007 — In Proc. International Joint Conference on Artificial Intelligence (IJCAI
…Tractable Temporal Reasoning ∗ Clare Dixon, Michael Fisher and Boris Konev Department of Computer…
Cited by 2 (2 self) – Add To MetaCart

Formal Properties of Modularisation
by Boris Konev, Carsten Lutz, Dirk Walther, Frank Wolter
…Formal Properties of Modularisation Boris Konev 1 , Carsten Lutz 2 , Dirk Walther 1 , and Frank…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB