RISC RISC Research Institute for Symbolic Computation  

RISC Talk Announcement

Speaker: George Rahonis, Aristotle University of Thessaloniki, Greece
Title: Quantitative Logics and Automata
Date: 02.07. 2012   13:30--14:30
Location: RISC Seminar room
Abstract:
VCAL file: