Non-linear Existential Arithmetic Theories

Full project page

Organisations map overview