A survival guide to Presburger arithmetic

Christoph Haase
January 2018
PDF DOI
Type
Journal article
Publication
SIGLOG News