Associative-commutative discrimination nets

DOI10.1007/3-540-56610-4_56zbMath1497.68237OpenAlexW2124004121MaRDI QIDQ5044725

I. V. Ramakrishnan, Ta Chen, Leo Bachmair

Publication date: 2 November 2022

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-56610-4_56

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (6)

Nonlinear pattern matching in rule-based modeling languages ⋮ Substitution tree indexing ⋮ Path indexing for AC-theories ⋮ ILP :- Just Trie It ⋮ Extended path-indexing ⋮ ELAN from a rewriting logic point of view

Cites Work

• Unnamed Item
• Unnamed Item
• Complexity of matching problems
• Tight complexity bounds for term matching problems
• Left-to-right tree pattern matching
• Adaptive pattern matching

This page was built for publication: Associative-commutative discrimination nets