Travelled to:
1 × Poland
Collaborated with:
B.Afshari S.Hetzl
Talks about:
herbrand (1) disjunct (1) grammar (1) context (1) elimin (1) tree (1) free (1) cut (1)
Person: Graham Emil Leigh
DBLP: Leigh:Graham_Emil
Contributed to:
Wrote 1 papers:
- TLCA-2015-AfshariHL #context-free grammar
- Herbrand Disjunctions, Cut Elimination and Context-Free Tree Grammars (BA, SH, GEL), pp. 1–16.