Login / Signup

Proving Termination Through Conditional Termination.

Cristina BorrallerasMarc BrockschmidtDaniel LarrazAlbert OliverasEnric Rodríguez-CarbonellAlbert Rubio
Published in: TACAS (1) (2017)
Keyphrases
  • term rewrite systems
  • termination analysis
  • active rules
  • term rewriting
  • rewrite systems
  • real world
  • database
  • databases
  • neural network
  • learning algorithm
  • metadata
  • case study
  • multiscale
  • medical images