Independent And-Parallel Narrowing

Kuchen H, Moreno-Navarro JJ, Hermenegildo M

Cite as

Kuchen, H., Moreno-Navarro, J., & Hermenegildo, M. (1992). Independent And-Parallel Narrowing. In Aachener Informatik-Berichte (AIB). Aachen.

Details

Publication type
Working paper

Peer reviewed
No

Publication status
Published

Year
1992

Number of pages
14

Title of series
Aachener Informatik-Berichte (AIB)

Place
Aachen

Language
English

Full text
http://sunsite.informatik.rwth-aachen.de/