On the Decidability of Presburger Arithmetic With Homogeneous Exponentiation (Classic Reprint)

by D. Cantone Paperback details (United Kingdom). ISBN: 978-1-333-44738-0 ISBN-10: 1-333-44738-8 Forgotten Books · 2018