Matching with Regular Constraints
From MaRDI portal
Publication:5387841
DOI10.1007/11591191_16zbMath1143.68590OpenAlexW1559143961MaRDI QIDQ5387841
Publication date: 27 May 2008
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11591191_16
Nonnumerical algorithms (68W05) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (4)
CLP(H):Constraint logic programming for hedges ⋮ Regular expression order-sorted unification and matching ⋮ On the relation between context and sequence unification ⋮ Anti-unification for unranked terms and hedges
This page was built for publication: Matching with Regular Constraints