Rewriting Rules for Arithmetics in Alternate Base Systems.

Zuzana Maskov, Edita Pelantov, Katarna Studenicov

Browse the full DLT paper archive.