A pumping lemma and the structure of derivations in the boundary NLC graph languages

From MaRDI portal
Publication:1328510