Numeric Base Conversion with Rewriting

Olivier Hermant, Wojciech Loboda. Numeric Base Conversion with Rewriting. In Nikolaj S. Bjørner, Marijn Heule, Andrei Voronkov, editors, LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024. Volume 18 of Kalpa Publications in Computing, pages 92-106, EasyChair, 2024. [doi]

Abstract

Abstract is missing.