Sign in
On the Efficient Implementation of Mode-Directed Tabling.
João Santos
Ricardo Rocha
Published in:
PADL (2013)
Keyphrases
</>
efficient implementation
logic programming
efficient processing
active set
hardware implementation
image quality
model checking
parallel processing