Wöhrle, Stefan 1973-
VIAF ID: 25706959 ( Personal )
Permalink: http://viaf.org/viaf/25706959
Preferred Forms
- 100 1 _ ‡a Wöhrle, Stefan ‡d 1973-
- 100 1 _ ‡a Wöhrle, Stefan ‡d 1973-
Works
Title | Sources |
---|---|
Decision problems over infinite graphs higher-order pushdown systems and synchronized products |