The Representation of Program Synthesis in Higher Order Logic.

Christoph Kreitz

Published in: GWAI (1990)

Keyphrases

program synthesis
higher order logic
higher order
conditional logic
knowledge base
general purpose
temporal logic