Towards Mechanised Proofs in Double-Pushout Graph Transformation.

Robert Söldner Detlef Plump

Published in: CoRR (2022)

Keyphrases

graph transformation
theorem proving
theorem prover
databases
machine learning
natural language
formal proofs
equational theories
mathematical proofs
data sets
image processing
reinforcement learning
cooperative
pattern recognition
evolutionary algorithm
decision procedures