Travelled to:
1 × Denmark
1 × Italy
Collaborated with:
J.Olschewski W.Thomas ∅
Talks about:
languag (5) regular (3) infinit (2) game (2) infinitari (1) structur (1) versus (1) toward (1) theori (1) trace (1)
Person: Namit Chaturvedi
DBLP: Chaturvedi:Namit
Contributed to:
Wrote 3 papers:
- ICALP-v2-2014-Chaturvedi #towards
- Toward a Structure Theory of Regular Infinitary Trace Languages (NC), pp. 134–145.
- DLT-2011-ChaturvediOT #game studies #infinity
- Languages vs. ω-Languages in Regular Infinite Games (NC, JO, WT), pp. 180–191.
- DLT-J-2011-ChaturvediOT12 #game studies #infinity
- Languages versus ω-Languages in Regular Infinite Games (NC, JO, WT), pp. 985–1000.