| ||
51. | Beyond omega-Regular Languages
w: STACS, str. 11-16, r. 2010 (Artyku³ konferencyjny) Miko³aj Bojañczyk | |
52. | Deterministic Automata and Extensions of Weak MSO
w: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2009, str. 73-84, Leibniz-Zentrum fuer Informatik, r. 2009 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Szymon Toruñczyk | |
53. | Weak MSO with the Unbounding Quantifier
w: STACS, str. 159-170, r. 2009 (Artyku³ konferencyjny) Miko³aj Bojañczyk | |
54. | Wreath Products of Forest Algebras, with Applications to Tree Logics
w: LICS, str. 255-263, IEEE Computer Society, r. 2009 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Howard Straubing, Igor Walukiewicz | |
55. | Piecewise Testable Tree Languages
w: LICS, str. 442-451, r. 2008 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Luc Segoufin, Howard Straubing | |
56. | XPath evaluation in linear time
w: PODS, str. 241-250, r. 2008 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Pawe³ Parys | |
57. | Two-way unary temporal logic over trees
w: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), str. 121-130, r. 2007 (Artyku³ konferencyjny) Miko³aj Bojañczyk | |
58. | Bounds in w-Regularity
w: Annual IEEE Symposium on Logic in Computer Science, str. 285-296, r. 2006 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Thomas Colcombet | |
59. | Two-variable logic on data trees and XML reasoning
w: ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, str. 10-19, ACM, r. 2006 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Claire David, Anca Muscholl, Thomas Schwentick, Luc Segoufin | |
60. | Two-Variable Logic on Words with Data
w: Annual IEEE Symposium on Logic in Computer Science, str. 7-16, IEEE, r. 2006 (Artyku³ konferencyjny) Miko³aj Bojañczyk, Anca Muscholl, Thomas Schwentick, Luc Segoufin, Claire David |