Login / Signup

Strong Normalization for Non-Structural Subtyping via Saturated Sets.

Jakob Rehof
Published in: Inf. Process. Lett. (1996)
Keyphrases
  • structural information
  • set theoretic
  • real time
  • databases
  • neural network
  • website
  • high level
  • preprocessing
  • structural models