Independent And-Parallel Narrowing

Kuchen H, Moreno-Navarro JJ, Hermenegildo M

Zitieren als

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

Details

Publikationstyp
Arbeitspapier / Working Paper

Begutachtet
Nein

Publikationsstatus
Veröffentlicht

Jahr
1992

Anzahl der Seiten
14

Reihe
Aachener Informatik-Berichte (AIB)

Ort
Aachen

Sprache
Englisch

Gesamter Text
http://sunsite.informatik.rwth-aachen.de/