dblp.uni-trier.dewww.uni-trier.de

Roman Kuznets Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
7EESamuel R. Buss, Roman Kuznets: The NP-Completeness of Reflected Fragments of Justification Logics. LFCS 2009: 122-136
6EESergei N. Artëmov, Roman Kuznets: Logical omniscience as a computational complexity problem. TARK 2009: 14-23
2008
5EERoman Kuznets: Self-referentiality of Justified Knowledge. CSR 2008: 228-239
2007
4EERoman Kuznets: Proof Identity for Classical Logic: Generalizing to Normality. LFCS 2007: 332-348
2006
3EESergei N. Artëmov, Roman Kuznets: Logical Omniscience Via Proof Complexity. CSL 2006: 135-149
2EEVladimir Brezhnev, Roman Kuznets: Making knowledge explicit: How hard it is. Theor. Comput. Sci. 357(1-3): 23-34 (2006)
2000
1EERoman Kuznets: On the Complexity of Explicit Modal Logics. CSL 2000: 371-383

Coauthor Index

1Sergei N. Artëmov [3] [6]
2Vladimir Brezhnev [2]
3Samuel R. Buss [7]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)