PhDs in Logic IV

Antje Rumberg gives a talk titled “Branching Time Semantics with Sets of Transitions”.


Loading Map....

Date/Time
Date(s) - 12/04/2012
All Day

Location
Centre for Logic and Philosophy of Science