Computer Science – Computational Complexity
Scientist
Computer Science
Computational Complexity
Scientist
Branching-time model checking of one-counter processes
Branching-time model checking of one-counter processes
On a Non-Context-Free Extension of PDL
The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers
The First-Order Theory of Ground Tree Rewrite Graphs
No associations
LandOfFree
Stefan Göller does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Stefan Göller, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Stefan Göller will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-229787