Termination of amnesiac flooding.

Walter Hussak Amitabh Trehan

Published in: Distributed Comput. (2023)

Keyphrases

rewrite systems
genetic algorithm
active rules
information systems
database systems
type checking
term rewriting