Simon's congruence pattern matching
From MaRDI portal
Publication:6602487
DOI10.4230/LIPICS.ISAAC.2022.60MaRDI QIDQ6602487FDOQ6602487
Authors: Sung-Min Kim, Sang-Ki Ko, Yo-Sub Han
Publication date: 11 September 2024
This page was built for publication: Simon's congruence pattern matching
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6602487)