Search the dblp DataBase

Publications of Author

1. Vladimir Krupski
   Operational Logic of Proofs with Functionality Condition on Proof Predicate. [Citation Graph (0, 0)][DBLP]
   LFCS, 1997, pp:167-177 [Conf]
   
2. Sergei N. Artëmov, Vladimir Krupski
   Referential Data Structures and Labeled Modal Logic. [Citation Graph (0, 0)][DBLP]
   LFCS, 1994, pp:23-33 [Conf]
   
3. 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. [Citation Graph (0, 0)][DBLP]
   TPHOLs, 2003, pp:287-303 [Conf]
   
4. Sergei N. Artëmov, Vladimir Krupski
   Data Storage Interpretation of Labeled Modal Logic. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 1996, v:78, n:1-3, pp:57-71 [Journal]
   
5. Vladimir Krupski
   The single-conclusion proof logic and inference rules specification. [Citation Graph (0, 0)][DBLP]
   Ann. Pure Appl. Logic, 2001, v:113, n:1-3, pp:181-206 [Journal]
   
6. Vladimir Krupski
   Reference Constructions in the Single-conclusion Proof Logic. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2006, v:16, n:5, pp:645-661 [Journal]
   
7. Vladimir Krupski
   Effective simultaneous approximability of reals. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2002, v:284, n:2, pp:397-417 [Journal]
   
8. Vladimir Krupski
   Referential logic of proofs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:357, n:1-3, pp:143-166 [Journal]