Used together with:
reason
(1)
set
(1)
multiset
(1)
autom
(1)
Stem
munch$ (
all stems
)
1 papers:
IJCAR-2010-PiskacK
#automation
#multi
#named
#set
MUNCH — Automated Reasoner for Sets and Multisets (
RP
,
VK
), pp. 149–155.
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
.