Undecidability in the Homomorphic Quasiorder of Finite Labeled Forests.

Oleg V. Kudinov, Victor L. Selivanov

Browse the full CiE paper archive.