Travelled to:
1 × France
Collaborated with:
J.Janousek B.Melichar L.G.Cleophas
Talks about:
linearis (1) backward (1) pattern (1) match (1) tree (1)
Person: Jan Trávnícek
DBLP: Tr=aacute=vn=iacute=cek:Jan
Contributed to:
Wrote 1 papers:
- LATA-2015-TravnicekJMC #pattern matching
- Backward Linearised Tree Pattern Matching (JT, JJ, BM, LGC), pp. 599–610.