Login / Signup

A Purely Logical Approach to the Termination of Imperative Loops.

Madalina ErascuTudor Jebelean
Published in: SYNASC (2010)
Keyphrases
  • logical representation
  • real time
  • data mining
  • natural language
  • information technology
  • term rewriting