Login / Signup

Case-Free Programs: An Abstraction of Definite Horn Programs.

Toshiro WakayamaT. H. Payne
Published in: CADE (1990)
Keyphrases
  • computer programs
  • high level
  • multiscale
  • automatic programming
  • real world
  • special case