Risc Colloquium
Prof. George Rahonis: On quantitative monadic first-order logic
| When |
Jun 22, 2015
from 01:30 PM to 02:30 PM |
|---|---|
| Where | Seminar Room Castle |
| Add event to calendar |
vCal
iCal
|
We extend the well-known expressive equivalence of monadic first-order logic, LTL, star free languages and counter-free Büchi automata in the quantitative setup over complete, idempotent and zero-divisor free semirings. We state several open problems for future research.