Independent And-Parallel Implementation of Narrowing

Kuchen H, Moreno-Navarro JJ, Hermenegildo M

Publication type

Research article in proceedings (conference)

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

Number of pages

17

Volume

631

Title of series

LNCS

Publisher

Springer Verlag

Language

English