Search the dblp DataBase
Vladimir Krupski :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Vladimir Krupski Operational Logic of Proofs with Functionality Condition on Proof Predicate. [Citation Graph (0, 0)][DBLP ] LFCS, 1997, pp:167-177 [Conf ] Sergei N. Artëmov , Vladimir Krupski Referential Data Structures and Labeled Modal Logic. [Citation Graph (0, 0)][DBLP ] LFCS, 1994, pp:23-33 [Conf ] 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 ] 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 ] 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 ] 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 ] Vladimir Krupski Effective simultaneous approximability of reals. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2002, v:284, n:2, pp:397-417 [Journal ] Vladimir Krupski Referential logic of proofs. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 2006, v:357, n:1-3, pp:143-166 [Journal ] Search in 0.017secs, Finished in 0.017secs