CFLP

swMATH18674MaRDI QIDQ30506FDOQ30506

Author name not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• Solving a class of higher-order equations over a group structure
• A new generic scheme for functional logic programming with constraints
• A proposal for the cooperation of solvers in constraint functional logic programming
• A fully sound goal solving calculus for the cooperation of solvers in the CFLP scheme

This page was built for software: CFLP