The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Vladimir Krupski: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002