Pages that link to "Item:Q3803084"
From MaRDI portal
The following pages link to Decision algorithms for some fragments of analysis and related areas (Q3803084):
Displayed 4 items.
- Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator (Q1096608) (← links)
- The automation of syllogistic. I: Syllogistic normal forms (Q1111540) (← links)
- Decision algorithms for fragments of real analysis. I: Continuous functions with strict convexity and concavity predicates (Q2457362) (← links)
- A decidable theory involving addition of differentiable real functions (Q2699966) (← links)