Author:
Schwartz Jacob T.,Cantone Domenico,Omodeo Eugenio G.
Reference17 articles.
1. Ackermann, W.: Solvable Cases of the Decision Problem. North-Holland, Amsterdam (1954)
2. Behmann, H.: Beiträge zur Algebra der Logik insbesondere zum Entscheidungsproblem. Math. Ann. 86, 163–220 (1922)
3. Cantone, D., Cincotti, G., Gallo, G.: Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates. J. Symb. Comput. 41(7), 763–789 (2006)
4. International Series of Monographs on Computer Science;D. Cantone,1989
5. Computer Science and Applied Mathematics;C.-L. Chang,1973