|
 REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
BLEDSOE, W W The SUP-INF method in Presburger anthmette Memo ATP-18, Math Dept, U of Texas at Austin, Austin, Tex, Dec 1974.
|
| |
2
|
BLEDSOE, W W A new method tor proving certain Presburger formulas Advance Papers 4th Int Joint Conf on Artlf lntell , Tlbdlsl, Georgm, U S S R , Sept 1975, pp 15-21
|
| |
3
|
COOPER, D C Programs for mechamcal program verification In Mach Intell 6, B Meltzer and D Mlchte, Eds., Amertcan Elsewer, New York, 1971, pp 43-59
|
| |
4
|
CooPF.g, D C Theorem prowng m arithmetic without multlphcatlon In Mach. Intell 7, B. Meltzer and DM~ch~e, Eds, American Elsewer, New York, 1972, pp 91-99
|
| |
5
|
DArts, M A program for Presburger's algorithm Summer Inst for Symbolic Logic, Cornell U , Ithaca, N Y , 1957, pp 215-233
|
| |
6
|
KRF.ISEL, G, AND KREVINE, J L Elements of Mathemattcal Logtc North-Holland, Amsterdam, 1967, pp 54-57
|
| |
7
|
LEE, R D An apphcat~on of mathematical logic to the integer hnear programming problem Notre Dame J Formal Logtc XIII, 2 (Aprd 1972), 279-282
|
| |
8
|
OPpF.N, D Ph D Th , U. of Toronto, Toronto, Ont, 1975, J Comptr Syst Sct (to appear).
|
| |
9
|
PaESBOROER, M Uber die Vollstandlgke~t emes gemssen Systems der Arithmetic ganzer Zahlen In Welchem d~e Addition als Emz~ge Operation hervortr~tt, Sprawozdame z I Kongresu Matematykow Krajow Slowcansklch Warszawa, 1929, pp 92-101
|
|
Adobe Acrobat
QuickTime
Windows Media Player
Real Player
Pdf
D.2