Vladimir Krupski

Publication Activity (10 Years)

Years Active: 1994-2013
Publications (10 Years): 0

Top Topics

Algorithm For Linear Programming

Top Venues

Publications

Vladimir Krupski
Primal implication as encryption CoRR (2013)
Vladimir Krupski
Reference Constructions in the Single-conclusion Proof Logic. J. Log. Comput. 16 (5) (2006)
Vladimir Krupski
Referential logic of proofs. Theor. Comput. Sci. 357 (1-3) (2006)
Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian E. Aydemir, Eli Barzilay, Yegor Bryukhov, Richard Eaton, Adam Granicz, Alexei Kopylov, Christoph Kreitz, Vladimir Krupski, Lori Lorigo, Stephan Schmitt, Carl Witty, Xin Yu
MetaPRL - A Modular Logical Environment. TPHOLs (2003)
Vladimir Krupski
Effective simultaneous approximability of reals. Theor. Comput. Sci. 284 (2) (2002)
Vladimir Krupski
The single-conclusion proof logic and inference rules specification. Ann. Pure Appl. Log. 113 (1-3) (2001)
Vladimir Krupski
Operational Logic of Proofs with Functionality Condition on Proof Predicate. LFCS (1997)
Sergei N. Artëmov, Vladimir Krupski
Data Storage Interpretation of Labeled Modal Logic. Ann. Pure Appl. Log. 78 (1-3) (1996)
Sergei N. Artëmov, Vladimir Krupski
Referential Data Structures and Labeled Modal Logic. LFCS (1994)