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