Tomasz Idziaszek
O mnie
Dydaktyka
Automaty
Algorytmika
Artykuły
Wouter Gelade, Tomasz Idziaszek, Wim Martens, Frank Neven
Simplifying XML schema: single-type approximations of regular tree languages
PODS 2010
Mikołaj Bojańczyk, Tomasz Idziaszek
Algebra for Infinite Forests with an Application to the Temporal Logic EF
CONCUR 2009 [
Springer
]
Linki
Strona seminarium
Teoria automatów.