Login / Signup

Normalization of S-Terms is Decidable.

Johannes Waldmann
Published in: RTA (1998)
Keyphrases
  • preprocessing
  • first order logic
  • real time
  • data sets
  • databases
  • computer vision
  • database systems