Login / Signup

Definability in the h-quasiorder of labeled forests.

Oleg V. KudinovVictor L. SelivanovAnton V. Zhukov
Published in: Ann. Pure Appl. Log. (2009)
Keyphrases