Login / Signup
A Proof Theoretical Account of Continuation Passing Style.
Ichiro Ogata
Published in:
CSL (2002)
Keyphrases
</>
theoretical analysis
multiresolution
theorem prover
genetic algorithm
theoretical issues
data sets
multiscale
information technology
inference rules
theorem proving
theoretical basis