scientific article; zbMATH DE number 1487843

MaRDI QIDQ4494367zbMATH OpenFDO

Authors Puri Arenas-Sánchez, F. J. López-Fraguas, M. Rodríguez Artalejo

Publication date 10 August 2000

zbMATH Keywords

SETAlazy functional logic language

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• Set constraints and logic programming
• scientific article; zbMATH DE number 1692898
• Constraint functional logic programming over finite domains

Cited in

(7)

• SMT solving for functional programming over infinite structures
• Axiomatization of a functional logic language
• scientific article; zbMATH DE number 4016167 (Why is no real title available?)
• A new generic scheme for functional logic programming with constraints
• scientific article; zbMATH DE number 1692898 (Why is no real title available?)
• scientific article; zbMATH DE number 1954119 (Why is no real title available?)
• scientific article; zbMATH DE number 1336275 (Why is no real title available?)

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