Unambiguity and Timed Languages: Automata, Logics, Expressiveness
Speaker:
Simoni Shah
(School of Technology and Computer Science
Tata Institute of Fundamental Research
Homi Bhabha Road
Mumbai 400005
)
Date:
Monday, 15 Jul 2013, 11:00 to 12:30
Venue:
A-212 (STCS Seminar Room)