scientific article; zbMATH DE number 4178744

zbMATH Open0715.68010MaRDI QIDQ3201744FDOQ3201744

Authors: Staffan Bonnier, Jan Maluszyński 

Publication date: 1989

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

Recommendations

• Logic programming with external procedures: Introducing S-unification
• scientific article; zbMATH DE number 826302
• Unifying theories for logic programming
• scientific article; zbMATH DE number 549963
• scientific article; zbMATH DE number 4094872

zbMATH Keywords

logic programmingoperational semanticsincomplete \({\mathcal S}\)- unificationS-unification

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Cited In (3)

• Logic programming with external procedures: Introducing S-unification
• Title not available (Why is that?)
• A framework for timed concurrent constraint programming with external functions

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 Q3201744)