Cited in
(5)- scientific article; zbMATH DE number 2000434 (Why is no real title available?)
- 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
