Faculty Recruiting Support CICS

Events Calendar

19 Apr
Theory Seminar
CS 142 and Zoom
Tuesday, 04/19/2022 11:30am to 12:20pm

Abstract: This is a survey of research going back approximately 60 years (beginning with an unpublished research report by Robert McNaughton) on the power of first order logic, along with various restrictions and...