Excerpt from On the Decidability of Presburger Arithmetic With Homogeneous Exponentiation We will use the notation In {1, n}. Also, A g B [resp. A C B] will be used throughout to denote that A is a subset of B [resp. A is a proper subset of B]. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at ... This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original ...
Read More
Excerpt from On the Decidability of Presburger Arithmetic With Homogeneous Exponentiation We will use the notation In {1, n}. Also, A g B [resp. A C B] will be used throughout to denote that A is a subset of B [resp. A is a proper subset of B]. About the Publisher Forgotten Books publishes hundreds of thousands of rare and classic books. Find more at ... This book is a reproduction of an important historical work. Forgotten Books uses state-of-the-art technology to digitally reconstruct the work, preserving the original format whilst repairing imperfections present in the aged copy. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in our edition. We do, however, repair the vast majority of imperfections successfully; any imperfections that remain are intentionally left to preserve the state of such historical works.
Read Less
Add this copy of On the Decidability of Presburger Arithmetic With to cart. $38.45, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2018 by Forgotten Books.
Add this copy of On the Decidability of Presburger Arithmetic With to cart. $52.71, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 2018 by Forgotten Books.
