No. Title Author Year
1 The Fixed-Parameter Tractability of Model Checking Concurrent Systems Göller, Stefan 2013
2 Concurrency Makes Simple Theories Hard Göller, Stefan et al. 2012
3 On Bisimilarity of Higher-Order Pushdown Automata: Undecidability at Order Two Broadbent, Christopher et al. 2012
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 PDL with Intersection and Converse is 2EXP-complete Göller, Stefan et al. 2008
Current Page :
Number of result pages: 1
Number of documents: 6

DROPS-Home | Fulltext Search | Imprint Published by LZI