Bochum, Germany

Map Unavailable

Address






Antje Rumberg gives a talk titled “Branching Time Semantics with Sets of Transitions: a Local Approach to Real Possibility”.

Upcoming Events

  • No events in this location

Post a Comment

You must be logged in to post a comment.