| ||
1. | Finite satisfiability for guarded fixpoint logic
INFORMATION PROCESSING LETTERS Tom 112 Nr 10 r. 2012, str. 371-375 (Artykuł) Vince Bárány, Mikołaj Bojańczyk | |
2. | Expressing Cardinality Quantifiers in Monadic Second-Order Logic over Trees
FUNDAMENTA INFORMATICAE Tom 100 Nr 1-4 r. 2010, str. 1-17 (Artykuł) Vince Bárány, Łukasz Kaiser, Alexander Moshe Rabinovich | |
| ||
3. | Decidable classes of documents for XPath
w: FSTTCS, str. 99-111, LIPICS, r. 2012 (Artykuł konferencyjny) Vince Bárány, Mikołaj Bojańczyk, Diego Figueira, Paweł Parys | |
4. | Querying the Guarded Fragment
w: LICS, str. 1-10, r. 2010 (Artykuł konferencyjny) Vince Bárány, Georg Gottlob, Martin Otto |