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

Mikhail Sheremet

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

2007
4EEMikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: A Logic for Concepts and Similarity. J. Log. Comput. 17(3): 415-452 (2007)
2006
3EEMikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: From topology to metric: modal logic and quantification in metric spaces. Advances in Modal Logic 2006: 429-448
2005
2EEMikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: 'Closer' representation and reasoning. Description Logics 2005
1EEMikhail Sheremet, Dmitry Tishkovsky, Frank Wolter, Michael Zakharyaschev: Comparative Similarity, Tree Automata, and Diophantine Equations. LPAR 2005: 651-665

Coauthor Index

1Dmitry Tishkovsky [1] [2] [3] [4]
2Frank Wolter [1] [2] [3] [4]
3Michael Zakharyaschev [1] [2] [3] [4]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)