
Search the dblp DataBase
Stefan Wöhrle:
[Publications]
[Author Rank by year]
[Coauthors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
 Martin Grohe, Stefan Wöhrle
An Existential Locality Theorem. [Citation Graph (0, 0)][DBLP] CSL, 2001, pp:99114 [Conf]
 JanHenrik 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:297306 [Conf]
 Arnaud Carayol, Stefan Wöhrle
The Caucal Hierarchy of Infinite Graphs in Terms of Logic and HigherOrder Pushdown Automata. [Citation Graph (0, 0)][DBLP] FSTTCS, 2003, pp:112123 [Conf]
 Stefan Wöhrle, Wolfgang Thomas
Model Checking Synchronized Products of Infinite Transition Systems. [Citation Graph (0, 0)][DBLP] LICS, 2004, pp:211 [Conf]
 Martin Grohe, Stefan Wöhrle
An existential locality theorem. [Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:129, n:13, pp:131148 [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.002secs
