Decision algorithms for some fragments of analysis and related areas-Reference-Cited by-同舟云学术

Decision algorithms for some fragments of analysis and related areas

Published:1987-05 Issue:3 Volume:40 Page:281-300
ISSN:0010-3640
Container-title:Communications on Pure and Applied Mathematics
language:en
Short-container-title:Comm. Pure Appl. Math.

Author:

Cantone D.,Ferro A.,Omodeo E.,Schwartz J. T.

Publisher

Wiley

Subject

Applied Mathematics,General Mathematics

Reference5 articles.

1. Quantifier elimination for real closed fields by cylindrical algebraic decomposition, in Second GI Conference on Automata Theory and Formal Languages, Lect. Notes in Comp. Sci., Vol. 33, Springer-Verlag, Berlin, 1975.

2. Linear Programming and Extensions, Princeton University Press, Princeton, 1963.

3. Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions

4. Methods of Logic, Henry Holt, New York, 1950.

5. A decision method for elementary algebra and geometry, 2nd ed. rev., Univ. of California Press, Berkeley, 1951.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Onset and Today’s Perspectives of Multilevel Syllogistic;Lecture Notes in Computer Science;2024

2. A decidable theory involving addition of differentiable real functions;Theoretical Computer Science;2023-01

3. Theory-Specific Automated Reasoning;Lecture Notes in Computer Science;2010

4. Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates;Journal of Symbolic Computation;2006-07

5. A Decision Procedure for Monotone Functions over Bounded and Complete Lattices;Theory and Applications of Relational Structures as Knowledge Instruments II;2006