Travelled to:
1 × United Kingdom
Collaborated with:
L.Holík O.Lengál T.Vojnar
Talks about:
antichain (1) nest (1)
Person: Tomás Fiedor
DBLP: Fiedor:Tom=aacute=s
Contributed to:
Wrote 1 papers:
- TACAS-2015-FiedorHLV #anti
- Nested Antichains for WS1S (TF, LH, OL, TV), pp. 658–674.