Export: Independent AND-parallel implementation of narrowing
Kuchen, Herbert, Moreno Navarro, Juan José 
ORCID: https://orcid.org/0000-0001-8842-8359 and Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X
(1992).
Independent AND-parallel implementation of narrowing.
In: "Programming Language Implementation and Logic Programming, 4th International Symposium, PLILP'92", August 26-28, 1992, Leuven, Belgium. ISBN 3540558446.
Please select an output format:
