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