WQO Dichotomy Conjecture

Prelegent(ci)

Sławomir Lasota

Afiliacja

Uniwersytet Warszawski

Termin

30 listopada 2016 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

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).

---