Sesqui-Pushout Rewriting with Type Refinements.

Published in: ICGT (2016)

Keyphrases

data sets
real world
database systems
real time
machine learning
artificial intelligence
computer vision
learning environment
computational complexity
evolutionary algorithm
type checking
rewriting rules