Corrigenda: Yet another efficient backward execution algorithm in the AND/OR process model

DOI10.1016/0020-0190(92)90010-SzbMath0785.68016OpenAlexW160541659MaRDI QIDQ1199561

Do-Hyung Kim, Kwang-Moo Choe

Publication date: 16 January 1993

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(92)90010-s

zbMATH Keywords

applicative logic programmingAND parallelismAND/OR process modelbackward execution algorithmmultiple failureparallel evaluation of logic programsselective resetting

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic programming (68N17)

This page was built for publication: Corrigenda: Yet another efficient backward execution algorithm in the AND/OR process model