• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Termination of amnesiac flooding.

Walter HussakAmitabh Trehan
Published in: Distributed Comput. (2023)
Keyphrases
  • rewrite systems
  • genetic algorithm
  • active rules
  • information systems
  • database systems
  • type checking
  • term rewriting