No. Title Author Year
1 Nominal Computation Theory (Dagstuhl Seminar 13422) Bojanczyk, Mikolaj et al. 2014
2 Regular languages of thin trees Bojanczyk, Mikolaj et al. 2013
3 Decidable classes of documents for XPath Bárány, Vince et al. 2012
4 Imperative Programming in Sets with Atoms Bojanczyk, Mikolaj et al. 2012
5 Weak MSO+U over infinite trees Bojanczyk, Mikolaj et al. 2012
6 Data Monoids Bojanczyk, Mikolaj 2011
7 Automata for Data Words and Data Trees Bojanczyk, Mikolaj 2010
8 Beyond omega-Regular Languages Bojanczyk, Mikolaj 2010
9 Deterministic Automata and Extensions of Weak MSO Bojanczyk, Mikolaj et al. 2009
10 Weak MSO with the Unbounding Quantifier Bojanczyk, Mikolaj 2009
Current Page :
Number of result pages: 1
Number of documents: 10


DROPS-Home | Fulltext Search | Imprint Published by LZI