Characterizations of recognizable weighted tree languages by logic and bimorphisms
scientific article; zbMATH DE number 6960108
scientific article