Login / Signup
Sergey Soprunov
Publication Activity (10 Years)
Years Active: 2014-2015
Publications (10 Years): 1
Top Topics
Recent Developments
Digital Libraries
Multiresolution
Propositional Logic
Top Venues
Log. J. IGPL
CSR
</>
Publications
</>
Alexei L. Semenov
,
Sergey Soprunov
A combinatorial version of the Svenonius theorem on definability.
Log. J. IGPL
23 (6) (2015)
Alexei L. Semenov
,
Sergey Soprunov
,
Vladimir A. Uspensky
The Lattice of Definability. Origins, Recent Developments, and Further Directions.
CSR
(2014)