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)
