Associative-commutative discrimination nets
From MaRDI portal
Publication:5044725
DOI10.1007/3-540-56610-4_56zbMath1497.68237MaRDI QIDQ5044725
I. V. Ramakrishnan, Leo Bachmair, Ta Chen
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
68Q42: Grammars and rewriting systems
Related Items