No. Title Author Year
1 Approximation of smallest linear tree grammar Jez, Artur et al. 2014
2 On Boolean closed full trios and rational Kripke frames Lohrey, Markus et al. 2014
3 Compression of Rewriting Systems for Termination Analysis Bau, Alexander et al. 2013
4 The First-Order Theory of Ground Tree Rewrite Graphs Göller, Stefan et al. 2011
5 Branching-time Model Checking of One-counter Processes Göller, Stefan et al. 2010
6 07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures Downey, Rod et al. 2008
7 07441 Summary -- Algorithmic-Logical Theory of Infinite Structures Downey, Rod et al. 2008
8 08261 Abstracts Collection -- Structure-Based Compression of Complex Massive Data Böttcher, Stefan et al. 2008
9 08261 Executive Summary -- Structure-Based Compression of Complex Massive Data Böttcher, Stefan et al. 2008
10 Application of verification techniques to inverse monoids Lohrey, Markus 2008
Current Page :
Number of result pages: 2
Number of documents: 12


DROPS-Home | Fulltext Search | Imprint Published by LZI