Generic plaintext equality and inequality proofs

From MaRDI portal
Publication:2145406

DOI10.1007/978-3-662-64322-8_20zbMATH Open1491.94040OpenAlexW3208833243MaRDI QIDQ2145406FDOQ2145406


Authors: Olivier Blazy, Xavier Bultel, Pascal Lafourcade, Octavio Perez Kempner Edit this on Wikidata


Publication date: 17 June 2022


Full work available at URL: https://doi.org/10.1007/978-3-662-64322-8_20




Recommendations




Cites Work


Cited In (1)

Uses Software





This page was built for publication: Generic plaintext equality and inequality proofs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2145406)