Login / Signup

Simple Proofs of Characterizing Strong Normalization for Explicit Substitution Calculi.

Kentaro Kikuchi
Published in: RTA (2007)
Keyphrases
  • real world
  • database
  • databases
  • artificial intelligence
  • normalization method