|
Search the dblp DataBase
Stefan Wöhrle:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Martin Grohe, Stefan Wöhrle
An Existential Locality Theorem. [Citation Graph (0, 0)][DBLP] CSL, 2001, pp:99-114 [Conf]
- Jan-Henrik Altenbernd, Wolfgang Thomas, Stefan Wöhrle
Tiling Systems over Infinite Pictures and Their Acceptance Conditions. [Citation Graph (0, 0)][DBLP] Developments in Language Theory, 2002, pp:297-306 [Conf]
- Arnaud Carayol, Stefan Wöhrle
The Caucal Hierarchy of Infinite Graphs in Terms of Logic and Higher-Order Pushdown Automata. [Citation Graph (0, 0)][DBLP] FSTTCS, 2003, pp:112-123 [Conf]
- Stefan Wöhrle, Wolfgang Thomas
Model Checking Synchronized Products of Infinite Transition Systems. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:2-11 [Conf]
- Martin Grohe, Stefan Wöhrle
An existential locality theorem. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:129, n:1-3, pp:131-148 [Journal]
- Stefan Wöhrle, Wolfgang Thomas
Model Checking Synchronized Products of Infinite Transition Systems [Citation Graph (0, 0)][DBLP] CoRR, 2007, v:0, n:, pp:- [Journal]
Search in 0.001secs, Finished in 0.001secs
|