Used together with:
data
(1)
non
(1)
tptl
(1)
word
(1)
game
(1)
Stem
fraiss$ (
all stems
)
1 papers:
AFL-2014-CarapelleFGQ13
#game studies
#word
Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words (
CC
,
SF
,
OFG
,
KQ
), pp. 174–187.
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
.