Concepedia

Mikhail Sheremet

MS

2

Publications

57

Citations

2

H-Index

2007

Active since

Affiliations

University of Liverpool(Current)

Birkbeck, University of London

Mikhail Sheremet is an author at University of Liverpool specializing in automated reasoning, formal methods, and engineering.

ORCID

Top concepts

Publications per year

2007–2009

2

Publications

2

A Logic for Concepts and Similarity

Mikhail Sheremet, Dmitry Tishkovsky, Frank Wolter et al. · Journal of Logic and Computation · 2007 · 35 citations

A modal logic framework for reasoning about comparative distances and topology

Mikhail Sheremet, Frank Wolter, Michael Zakharyaschev · Annals of Pure and Applied Logic · 2009 · 22 citations

, , +9

Rows per page

1–2 of 2