A General Criterion for Avoiding Infinite Unfolding during Partial Deduction.

Maurice Bruynooghe Danny De Schreye Bern Martens

Published in: New Gener. Comput. (1992)

Keyphrases

special case
partial deduction
computational complexity
artificial neural networks
pairwise
petri net
closely related
optimality criterion