XCentric
From MaRDI portal
Cited in
(9)- Variadic equational matching in associative and commutative theories
- Veriflog
- Rewriting-based repairing strategies for XML repositories
- XPathLog
- XMark
- Skolemization in unranked logics
- CLP(Flex)
- CLP(\(\mathsf{H}\)): constraint logic programming for hedges
- Constraint logic programming for hedges: a semantic reconstruction
This page was built for software: XCentric
