BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Germany
1 × Japan
Collaborated with:
L.Kaiser E.Grädel M.Lang C.Löding F.Canavoi W.Pakusa
Talks about:
strategi (2) logic (2) win (2) structur (1) properti (1) approach (1) transit (1) bounded (1) system (1) banach (1)

Person: Simon Leßenich

DBLP DBLP: Le=szlig=enich:Simon

Contributed to:

CSL 20152015
LICS 20152015
CSL 20122012

Wrote 4 papers:

CSL-2015-Kaiser0LL #approach #bound
A Unified Approach to Boundedness Properties in MSO (LK, ML, SL, CL), pp. 441–456.
LICS-2015-CanavoiGLP #fixpoint #logic
Defining Winning Strategies in Fixed-Point Logic (FC, EG, SL, WP), pp. 366–377.
CSL-2012-GradelL #game studies
Banach-Mazur Games with Simple Winning Strategies (EG, SL), pp. 305–319.
CSL-2012-KaiserL #logic
A Counting Logic for Structure Transition Systems (LK, SL), pp. 366–380.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.