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):
Displaying 7 items.
- Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator (Q1096608) (← links)
- A fragment of formalized analysis (Q1097881) (← 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)
- Decision procedures. An algorithmic point of view. With foreword by Randal E. Bryant (Q2473386) (← links)
- A decidable theory involving addition of differentiable real functions (Q2699966) (← links)
- (Q4508546) (← links)