scientific article
From MaRDI portal
Publication:3880318
zbMath0438.68049MaRDI QIDQ3880318
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)
Related Items (3)
An execution model for exploiting AND-parallelism in logic programs ⋮ A backtracking algorithm for the stream AND-parallel execution of logic programs ⋮ Backjumping is Exception Handling
This page was built for publication:
