Login / Signup

Proving Positive Almost Sure Termination Under Strategies.

Olivier BournezFlorent Garnier
Published in: RTA (2006)
Keyphrases
  • term rewrite systems
  • positive and negative
  • real world
  • lower bound
  • special case
  • positive feedback
  • rewrite systems
  • social networks
  • database systems
  • objective function
  • online auctions
  • positive or negative