Super-exponential complexity of Presburger arithmetic

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Complexity of computation (Proc. SIAM-AMS Sympos., New York, 1973)
Publisher	American Mathematical Society
Pages	27-41
Number of pages	15
State	Published - 1974

Name	SIAM-AMS Proceedings
Publisher	American Mathematical Society
Volume	VII

Cite this

@inproceedings{585f4b57875c4dd7863099840c15c49c,

title = "Super-exponential complexity of Presburger arithmetic",

author = "Fischer, \{Michael J.\} and Rabin, \{Michael O.\}",

year = "1974",

language = "אנגלית",

series = "SIAM-AMS Proceedings",

publisher = "American Mathematical Society",

pages = "27--41",

booktitle = "Complexity of computation (Proc. SIAM-AMS Sympos., New York, 1973)",

address = "ארצות הברית",

}

TY - GEN

T1 - Super-exponential complexity of Presburger arithmetic

AU - Fischer, Michael J.

AU - Rabin, Michael O.

PY - 1974

Y1 - 1974

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

T3 - SIAM-AMS Proceedings

SP - 27

EP - 41

BT - Complexity of computation (Proc. SIAM-AMS Sympos., New York, 1973)

PB - American Mathematical Society

ER -