No. Title Author Year
1 Imperative Programming in Sets with Atoms Bojanczyk, Mikolaj et al. 2012
2 Weak MSO+U over infinite trees Bojanczyk, Mikolaj et al. 2012
3 Automata based verification over linearly ordered data domains Segoufin, Luc et al. 2011
4 Deterministic Automata and Extensions of Weak MSO Bojanczyk, Mikolaj et al. 2009
Current Page :
Number of result pages: 1
Number of documents: 4


DROPS-Home | Fulltext Search | Imprint Published by LZI