An Axiomatic Definition of Context-Free Rewriting and its Application to NLC Graph Grammars.

Bruno Courcelle

Browse the full STACS paper archive.