Nie jesteś zalogowany |
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)
