Travelled to:
1 × United Kingdom
Collaborated with:
D.Král S.Oum
Talks about:
properti (1) matroid (1) order (1) first (1) decid (1)
Person: Tomás Gavenciak
DBLP: Gavenciak:Tom=aacute=s
Contributed to:
Wrote 1 papers:
- ICALP-v2-2012-GavenciakKO #first-order
- Deciding First Order Properties of Matroids (TG, DK, SiO), pp. 239–250.