Ordered term tree languages which are polynomial time inductively inferable from positive data

From MaRDI portal
Publication:817835