Used together with:
rewrit
(1)
dynam
(1)
logic
(1)
Stem
termgraph$ (
all stems
)
1 papers:
ICGT-2010-BalbianiEH
#graph grammar
#logic
A Dynamic Logic for Termgraph Rewriting (
PB
,
RE
,
AH
), pp. 59–74.
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
.
ICGT-2010-BalbianiEH #graph grammar #logic
ICGT-2010-BalbianiEH #graph grammar #logic