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