Independent And-Parallel Implementation of Narrowing

Kuchen H, Moreno-Navarro JJ, Hermenegildo M



Publication type
Conference Paper

Peer reviewed
Yes

Publication status
Published

Year
1992

Conference
4th International Symposium on Programming Language Implementation and Logic Programming (PLILP)

Start page
24

End page
38

Pages range
24-38

Number of pages
17

Volume
631

Title of series
LNCS

Publisher
Springer Verlag

Language
English