D.C. · D./Cantone, A.L. Cali · Domenico Cantone
| title | ISBN-13 | year of publication |
|---|---|---|
| Decision Procedures for Elementary Sublanguages of Set Theory: XI. Multilevel Syllogistic Extended by Some Elementary Map Constructs | 978-1-333-04254-7 | 2018 |
| Decision Procedures for Elementary Sublanguages of Set Theory: XIV. Three Languages Involving Rank Related Constructs | 978-1-334-01781-0 | 2018 |
| Decision Procedures for Elementary Sublanguages of Set Theory: X. Multilevel Syllogistic Extended by the Singleton and Powerset Operators | 978-1-333-07230-8 | 2018 |
| On the Decidability of Presburger Arithmetic With Homogeneous Exponentiation | 978-1-333-44738-0 | 2018 |