Zhukov, A. V.; Kudinov, O. V.; Selivanov, V. L. Definability of closure operations in the \(h\)-quasiorder of labeled forests. (English. Russian original) Zbl 1214.03023 Algebra Logic 49, No. 2, 120-129 (2010); translation from Algebra Logika 49, No. 2, 181-194 (2010). MSC: 03C40 05C05 06A07 PDFBibTeX XMLCite \textit{A. V. Zhukov} et al., Algebra Logic 49, No. 2, 120--129 (2010; Zbl 1214.03023); translation from Algebra Logika 49, No. 2, 181--194 (2010) Full Text: DOI
Kudinov, Oleg V.; Selivanov, Victor L.; Zhukov, Anton V. Definability in the \(h\)-quasiorder of labeled forests. (English) Zbl 1166.03012 Ann. Pure Appl. Logic 159, No. 3, 318-332 (2009). MSC: 03C40 PDFBibTeX XMLCite \textit{O. V. Kudinov} et al., Ann. Pure Appl. Logic 159, No. 3, 318--332 (2009; Zbl 1166.03012) Full Text: DOI