CFLP
From MaRDI portal
Cited in
(5)- Solving a class of higher-order equations over a group structure
- 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
- scientific article; zbMATH DE number 2000434 (Why is no real title available?)
- A new generic scheme for functional logic programming with constraints
This page was built for software: CFLP
