CLP(Flex)

swMATH28534MaRDI QIDQ40248FDOQ40248

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-540-30469-2_17

Cited In (10)

• Flat matching
• CLP(\(\mathsf{H}\)): constraint logic programming for hedges
• Variadic equational matching in associative and commutative theories
• Variadic equational matching
• Skolemization in unranked logics
• On the relation between context and sequence unification
• Theorema
• Veriflog
• XCentric
• Solving equations with sequence variables and sequence functions

This page was built for software: CLP(Flex)