scientific article; zbMATH DE number 1511970

zbMATH Open0946.68007MaRDI QIDQ4505639

Dragan Mašulović

Publication date: 28 September 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

unificationlazy evaluationprologlambda

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Related Items (1)

Extended unification algorithms for the integration of functional programming into logic programming

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4505639)