A Practical Decision Procedure for Arithmetic with Function Symbols
- 1 April 1979
- journal article
- Published by Association for Computing Machinery (ACM) in Journal of the ACM
- Vol. 26 (2), 351-360
- https://doi.org/10.1145/322123.322137
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- On the SUP-INF Method for Proving Presburger FormulasJournal of the ACM, 1977
- An application of mathematical logic to the integer linear programming problem.Notre Dame Journal of Formal Logic, 1972