Login / Signup
Proving Correctness of Translation from Moded Flat GHC to Pi-Calculus.
Keiji Hirata
Published in:
ICLP (1995)
Keyphrases
</>
provably correct
prolog programs
machine translation
logic programs
natural language
database
genetic algorithm
artificial intelligence
statistical machine translation
formal language
computer algebra