The following pages link to (Q3894959):
Displayed 3 items.
- A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case (Q556680) (← links)
- The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations (Q737087) (← links)
- The automation of syllogistic. I: Syllogistic normal forms (Q1111540) (← links)