Decision algorithms for some fragments of analysis and related areas
From MaRDI portal
Publication:3803084
DOI10.1002/CPA.3160400303zbMath0656.03006OpenAlexW2011715687MaRDI QIDQ3803084
Domenico Cantone, Alfredo Ferro, Eugenio Giovanni Omodeo
Publication date: 1987
Published in: Communications on Pure and Applied Mathematics (Search for Journal in Brave)
Full work available at URL: http://archive.org/details/decisionalgorith00cant
decision algorithmsreal-valued functions`extended Tarski' theory of realsfragmentary sublanguages of elementary analysis
Related Items (4)
Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator ⋮ The automation of syllogistic. I: Syllogistic normal forms ⋮ A decidable theory involving addition of differentiable real functions ⋮ Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates
Cites Work
This page was built for publication: Decision algorithms for some fragments of analysis and related areas
