Login / Signup

Improving Residuation in Declarative Programs.

Michael Hanus
Published in: PADL (2019)
Keyphrases
  • domain independent
  • computer programs
  • declarative language
  • image processing
  • high level
  • multi agent
  • prolog programs
  • real time
  • information systems
  • data structure
  • object oriented
  • deductive database systems