Articles citing this article

The Citing articles tool gives a list of articles citing the current article.
The citing articles come from EDP Sciences database, as well as other publishers participating in CrossRef Cited-by Linking Program. You can set up your personal account to receive an email alert each time this article is cited by a new article (see the menu on the right-hand side of the abstract page).

Cited article:

Definability in first-order theories of graph orderings ⋆

Ramanathan S Thinniyam and R Ramanujam
Journal of Logic and Computation 30 (1) 403 (2020)
https://doi.org/10.1093/logcom/exaa017

Well-Quasi Orders in Computation, Logic, Language and Reasoning

Victor Selivanov
Trends in Logic, Well-Quasi Orders in Computation, Logic, Language and Reasoning 53 271 (2020)
https://doi.org/10.1007/978-3-030-30229-0_10

Definability in the structure of words with the inclusion relation

Oleg V. Kudinov, Victor L. Selivanov and Lyudmila V. Yartseva
Siberian Mathematical Journal 51 (3) 456 (2010)
https://doi.org/10.1007/s11202-010-0047-y

Mathematical Theory and Computational Practice

Oleg V. Kudinov and Victor L. Selivanov
Lecture Notes in Computer Science, Mathematical Theory and Computational Practice 5635 290 (2009)
https://doi.org/10.1007/978-3-642-03073-4_30

Logical Approaches to Computational Barriers

Oleg V. Kudinov and Victor L. Selivanov
Lecture Notes in Computer Science, Logical Approaches to Computational Barriers 3988 289 (2006)
https://doi.org/10.1007/11780342_31