Showing 1 - 4 results of 4 for search 'Markus Lohrey', query time: 0.02s
Refine Results
-
1
The First-Order Theory of Ground Tree Rewrite Graphs by Stefan Göller, Markus Lohrey
Published 2014-02-01
Article -
2
The Complexity of Bisimulation and Simulation on Finite Systems by Moses Ganardi, Stefan Göller, Markus Lohrey
Published 2018-10-01
Article -
3
Path Checking for MTL and TPTL over Data Words by Shiguang Feng, Markus Lohrey, Karin Quaas
Published 2017-09-01
Article -
4
Tree-Automatic Well-Founded Trees by Martin Huschenbett, Alexander Kartzow, Jiamou Liu, Markus Lohrey
Published 2013-06-01
Article