SCOPUS 정보 검색 플랫폼

Volumn 18, Issue 1, 1982, Pages 105-111

The complexity of presburger arithmetic with bounded quantifier alternation depth

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0001042546 PISSN: 03043975 EISSN: None Source Type: Journal
DOI: 10.1016/0304-3975(82)90115-3 Document Type: Article

Times cited : (31)

References (10)

1
- 0002440902
- The complexity of logical theories
- (1980) Theoret. Comput. Sci. , vol.11 , pp. 71-77
- Berman¹

2
- 84966254050
- Bounds on positive integral solutions of linear diophantine equations
- (1976) Proceedings of the American Mathematical Society , vol.55 , pp. 299-304
- Borosh¹ Treybig²

3
- 0002281468
- A decision procedure for the first-order theory of real addition with order
- (1975) SIAM Journal on Computing , vol.4 , pp. 69-76
- Ferrante¹ Rackoff²

4
- 0002202224
- Super-exponential complexity of Presburger arithmetic
- (1974) SIAM-AMS Proc. , vol.7 , pp. 27-41
- Fischer¹ Rabin²

5
- 77956974423
- Bounded concatenation theory as a uniform method for proving lower complexity bounds
- R.O. Gandy, J.M.E. Hyland, North-Holland, Amsterdam
- (1977) Logic Colloquium 76 , pp. 471-490
- Fleischmann¹ Mahr² Siefkes³

6
- 84966251218
- A bound on solutions of linear integer equalities and inequalities
- (1978) Proceedings of the American Mathematical Society , vol.72 , pp. 155-158
- von zur Gathen¹ Sieveking²

7
- 0003766834
- Oxford University Press, Oxford
- (1938) An Introduction to the Theory of Numbers
- Hardy¹ Wright²

8
- 84918997465
- Untere Schranken für die Komplexität logischer Entscheidungsprobleme
- E. Specker, V. Strassen, Lecture Notes in Computer Science, Springer, Berlin
- (1976) Komplexität von Entscheidungsproblemen , vol.43 , pp. 127-137
- Heintz¹

9
- 0018057588
- Presburger arithmetic with bounded quantifier alternation
- (1978) Proc. 10th Annual ACM Symposium on Theory of Computing , pp. 320-325
- Reddy¹ Loveland²

10
- 0003295187
- Theory of Formal Systems
- Princeton University Press, Princeton
- (1961) Annals of Mathematics Studies , vol.47
- Smullyan¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.