Generating, sampling and counting subclasses of regular tree languages

From MaRDI portal
Publication:359886