A. L. Semenov, S. F. Soprunov, “A combinatorial version of the Svenonius theorem on definability”, Log. J. IGPL, 2015, Volume 23, Issue 6,966, 975 pp.

RUS ENG

JOURNALS // Logic Journal of the IGPL // Archive

Log. J. IGPL, 2015, Volume 23, Issue 6, 966, 975 pp. (Mi ljour2)

This article is cited in 3 papers

A combinatorial version of the Svenonius theorem on definability

A. L. Semenov, S. F. Soprunov

Federal Research Center "Computer Science and Control" of the Russian Academy of Sciences, Moscow, Russia

Received: 09.05.2014

Language: English

DOI: 10.1093/jigpal/jzv038

Cited by

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026