C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance.
Bern Martens
John P. Gallagher
Published in:
ICLP (1995)
Keyphrases
</>
partial deduction
logic programs
real time
wide range
expert systems
mobile robot
lightweight
global information
multidatabase systems
active rules