Tata Institute of Fundamental Research

First Order Logics Extended With Counting Quantifiers

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,