Used together with:
chain
(1)
streett
(1)
rabin
(1)
strategi
(1)
win
(1)
Stem
gane$ (
all stems
)
1 papers:
TACAS-1996-BuhrkeLV
#infinity
Strategy Construction in Infinite Ganes with Streett and Rabin Chain Winning Conditions (
NB
,
HL
,
JV
), pp. 207–224.
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
.