Veriflog

swMATH8941MaRDI QIDQ20937FDOQ20937

Authors scientific article; zbMATH DE number Author name (Why is no real title available?)

Official website http://link.springer.com/chapter/10.1007/11610496_20

Cited in

(6)

• CLP(\(\mathsf{H}\)): constraint logic programming for hedges
• On the relation between context and sequence unification
• XCentric
• CLP(Flex)
• Skolemization in unranked logics
• Flat matching

This page was built for software: Veriflog