scientific article; zbMATH DE number 3995082

zbMath0614.68064MaRDI QIDQ4721668

Esko Ukkonen, Heikki Mannila

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

logic programmingcomplexity of the execution of a Prolog program

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) General topics in the theory of software (68N01)

Related Items (3)

An efficient labelled nested multiset unification algorithm ⋮ Worst-case analysis of the set-union problem with extended backtracking ⋮ Average-case analysis of unification algorithms

This page was built for publication: