You are not logged in |
WQO Dichotomy Conjecture
- Speaker(s)
- Sławomir Lasota
- Affiliation
- Uniwersytet Warszawski
- Date
- Nov. 30, 2016, 2:15 p.m.
- Room
- room 5870
- Seminar
- Seminar Automata Theory
I will neither state nor prove any interesting theorem. Instead, I'll formulate an interesting (I hope) conjecture about applicability of well quasi orders (WQO) in decision problems for infinite state systems with data (like Petri nets with data, or alternating register automata).
