Goto

Collaborating Authors

 presburger



A computer program for Presburger's algorithm

Classics

In Proving Theorems as Done by Man, Logician, or Machine, pp. 215-233. Proc. Summer Institute for Symbolic Logic