Collaborated with:
B.Klin
Talks about:
calculus
(1)
modal
(1)
atom
(1)
Person:
Mateusz Lelyk
DBLP: Lelyk:Mateusz
Contributed to:
2017
Wrote 1 papers:
CSL-2017-KlinL
#calculus
Modal mu-Calculus with Atoms (
BK
,
ML
), p. 21.
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
.