Fellows Logic Open Seminar

Parent Program

Logical Structures in Computation

Location

Calvin Lab Rm 116

Speaker(s)

Pengming Wang (University of Cambridge)

Date

Monday, Sept. 12, 2016

Time

2 – 3:30 p.m. PT

Back to calendar

Description

Open Problem

A homomorphism preservation theorem for fixed point logic with counting?

All scheduled dates:

Upcoming

No Upcoming activities yet

Past