Sciweavers

60
Voted
CIE
2007
Springer
15 years 28 days ago
Definability in the Homomorphic Quasiorder of Finite Labeled Forests
Abstract. We prove that for any k 3 each element of the homomorphic quasiorder of finite k-labeled forests is definable, provided that the minimal non-smallest elements are allowe...
Oleg V. Kudinov, Victor L. Selivanov