scientific article; zbMATH DE number 515736

zbMATH Open0797.68103MaRDI QIDQ4283239FDOQ4283239

Authors: Juan Carlos Gonzalez-Moreno, M. T. Hortalá González, M. Rodríguez Artalejo 

Publication date: 19 October 1994

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

Recommendations

• Higher-order narrowing with definitional trees
• Lazy narrowing with simplification
• Higher-order narrowing with definitional trees
• Uniform Lazy Narrowing
• An evaluation semantics for narrowing-based functional logic languages

zbMATH Keywords

operational semanticscompleteness of narrowinghigher-order functional logic language

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Cited In (4)

• Rewriting and Call-Time Choice: The HO Case
• Higher-order narrowing with definitional trees
• Decidable higher-order unification problems
• Higher-order narrowing with convergent systems

Uses Software

• BABEL
• Kernel-LEAF

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