CLP(Flex)
From MaRDI portal
Software:40248
swMATH28534MaRDI QIDQ40248FDOQ40248
Author name not available (Why is that?)
Cited In (7)
- Title not available (Why is that?)
- Flat matching
- Variadic equational matching in associative and commutative theories
- Variadic equational matching
- On the relation between context and sequence unification
- Solving equations with sequence variables and sequence functions
- CLP(H):Constraint logic programming for hedges
This page was built for software: CLP(Flex)
