Collaborated with:
L.Santocanale
Talks about:
calculus
(1)
modal
(1)
aleph
(1)
Person:
Maria João Gouveia
DBLP: Gouveia:Maria_Jo=atilde=o
Contributed to:
2017
Wrote 1 papers:
CSL-2017-GouveiaS
#calculus
Aleph1 and the Modal mu-Calculus (
MJG
,
LS
), p. 16.
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
.