Double pushout rewriting of C-sets.

Kristopher Brown Evan Patterson James P. Fairbanks

Published in: CoRR (2021)

Keyphrases

rewrite rules
neural network
learning algorithm
database systems
digital libraries
set theoretic
presburger arithmetic