Reducing First Order Logic to 3 Dimensional Diagonal Free Algebra
Speaker: Profs Andreka and Nemeti, Hungarian Institute for the Sciences, Budapest.
UCL Contact: Robin Hirsch
(Visitors from outside UCL please email in advance).
Date/Time: 26 Jun 12, 14:00 - 15:00
Venue: Roberts 508
Further Information: See also http://arxiv.org/abs/1111.0995












