No. Title Author Year
1 07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures Downey, Rod et al. 2008
2 07441 Summary -- Algorithmic-Logical Theory of Infinite Structures Downey, Rod et al. 2008
3 Application of verification techniques to inverse monoids Lohrey, Markus 2008
4 Compatibility of Shelah and Stupp's and of Muchnik's iteration with fragments of monadic second order logic Kuske, Dietrich 2008
5 PDL with Intersection and Converse is 2EXP-complete Göller, Stefan et al. 2008
6 Tree Automata Make Ordinal Theory Easy Cachat, Thierry 2008
Current Page :
Number of result pages: 1
Number of documents: 6


DROPS-Home | Fulltext Search | Imprint Published by LZI