DMCA

Presburger Arithmetic With Unary Predicates is ... Complete (1991)

Cached

Download Links

by Joseph Y. Halpern
Venue:Journal of Symbolic Logic
Citations:27 - 1 self