Tata Institute of Fundamental Research
First Order Logics Extended With Counting Quantifiers
Seminar
Speaker:
Sreejith A V
Organiser:
Kavitha Telikepalli
Date:
Wednesday, 12 Mar 2014, 10:00 to 11:00
Venue:
D-405 (D-Block Seminar Room)
(Scan to add to calendar)
Abstract:
Abstract: In this talk, we shall look at logics over words. It is known that first order logic (FO) with an order relation,