| ||
| 1. | Algebra for Infinite Forests with an Application to the Temporal Logic EF
LECTURE NOTES IN COMPUTER SCIENCE Tom 5710 r. 2009, str. 131-145 (Artykuł) Mikołaj Bojańczyk, Tomasz Idziaszek | |
| ||
| 2. | Looking for a Challenge? The Ultimate Problem Set from the University of Warsaw Programming Competitions
Wydział Matematyki, Informatyki i Mechaniki Uniwersytetu Warszawskiego, r. 2012 (Książka) Krzysztof Diks (Redaktor), Tomasz Idziaszek (Redaktor), Jakub Łącki (Redaktor), Jakub Radoszewski (Redaktor) | |
| ||
| 3. | Simplifying XML schema: single-type approximations of regular tree languages
w: PODS, str. 251-260, r. 2010 (Artykuł konferencyjny) Wouter Gelade, Tomasz Idziaszek, Wim Martens, Frank Neven | |