A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions (Q4916221)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions |
scientific article; zbMATH DE number 6156029
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions |
scientific article; zbMATH DE number 6156029 |
Statements
A Decision Procedure for a Sublanguage of Set Theory Involving Monotone, Additive, and Multiplicative Functions1 1This research has been partially supported by MURST Grant prot. 2001017741 under project “Ragionamento su aggregati e numeri a supporto della programmazione e relative verifiche”. (English)
0 references
19 April 2013
0 references
0 references
0.9032283425331116
0 references
0.8036614060401917
0 references
0.7956215739250183
0 references
