Unranked Tree Algebra

Prelegent(ci)

Mikolaj Bojanczyk (joint with Igor Walukiewicz)

Afiliacja

Uniwersytet Warszawski

Termin

5 października 2005 14:15

Pokój

p. 5870

Seminarium

Seminarium „Teoria automatów”

---

I will present an algebra for recognizing languages of unranked, finite trees. This algebra is a special case of a transformation semigroup. The talk will focus on analyzing algebras that correspond to languages defined in logic (for instance, first-order logic)

---