Travelled to:
1 × Finland
Collaborated with:
∅
Talks about:
structur (1) grammar (1) equival (1) context (1) decid (1) free (1) form (1)
Person: Hermann K.-G. Walter
DBLP: Walter:Hermann_K==G=
Contributed to:
Wrote 1 papers:
- ICALP-1977-Walter #context-free grammar #decidability #equivalence
- Structural Equivalence of Context-Free Grammar Forms is Decidable (HKGW), pp. 539–553.