Login / Signup

All-Termination(T).

Panagiotis ManoliosAaron Turon
Published in: TACAS (2009)
Keyphrases
  • term rewriting
  • rewrite systems
  • response time
  • neural network
  • object recognition
  • software engineering