Collaborated with:
H.Chen
Talks about:
constraint
(1)
satisfact
(1)
quantifi
(1)
monoid
(1)
Person:
Peter Mayr
DBLP: Mayr:Peter
Contributed to:
2016
Wrote 1 papers:
CSL-2016-ChenM
#constraints
#monad
#quantifier
Quantified Constraint Satisfaction on Monoids (
HC
,
PM
), p. 14.
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
.