Login / Signup
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems.
Nathalie Bertrand
Giorgio Delzanno
Barbara König
Arnaud Sangnier
Jan Stückrath
Published in:
RTA (2012)
Keyphrases
</>
graph transformation
building blocks
search engine
distributed systems
computer systems
databases
neural network
artificial intelligence
multi agent systems
expert systems
relational databases
evolutionary algorithm
management system
np complete
computing systems