Matching of bounded set terms in the logic language LDL++

DOI10.1016/0743-1066(95)00146-8zbMath0873.68025OpenAlexW2025415897MaRDI QIDQ3129496

Sergio Greco, Natraj Arni, Domenico Saccà

Publication date: 15 June 1997

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0743-1066(95)00146-8

zbMATH Keywords

matching algorithm

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17)

Related Items (1)

Constructive negation and constraint logic programming with sets

This page was built for publication: Matching of bounded set terms in the logic language LDL++