Login / Signup

Applying Gödel's Dialectica Interpretation to Obtain a Constructive Proof of Higman's Lemma

Thomas Powell
Published in: CL&C (2012)
Keyphrases
  • genetic algorithm
  • natural language
  • databases
  • decision making
  • evolutionary algorithm
  • image interpretation