Associative-commutative discrimination nets
From MaRDI portal
Publication:5044725
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
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
This page was built for publication: Associative-commutative discrimination nets