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 × Japan
Collaborated with:
E.Grädel S.Leßenich W.Pakusa
Talks about:
strategi (1) point (1) logic (1) defin (1) win (1) fix (1)

Person: Felix Canavoi

DBLP DBLP: Canavoi:Felix

Contributed to:

LICS 20152015

Wrote 1 papers:

LICS-2015-CanavoiGLP #fixpoint #logic
Defining Winning Strategies in Fixed-Point Logic (FC, EG, SL, WP), pp. 366–377.

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.