Automatic Program Generation Using Sequent Calculus.

Talal Maghrabi Forouzan Golshani

Published in: ACM Conference on Computer Science (1992)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
natural deduction
artificial intelligence
data model
supervised learning
general purpose