Efficiently deciding equivalence for standard primitives and phases
From MaRDI portal
Publication:2167745
DOI10.1007/978-3-319-99073-6_24zbMath1496.68060MaRDI QIDQ2167745
Stéphanie Delaune, Véronique Cortier, Antoine Dallon
Publication date: 25 August 2022
Full work available at URL: https://doi.org/10.1007/978-3-319-99073-6_24
Related Items