On the Termination of Flooding.

Walter Hussak Amitabh Trehan

Published in: STACS (2020)

Keyphrases

term rewriting
active rules
rewrite systems
database
image processing
search algorithm
neighboring nodes
termination analysis
real time
neural network
genetic algorithm
high level
management system
active databases