scientific article
From MaRDI portal
Publication:3968997
zbMath0503.08008MaRDI QIDQ3968997
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Decidability of theories and sets of sentences (03B25) Word problems (aspects of algebraic structures) (08A50)
Related Items
Equational theory of positive numbers with exponentiation is not finitely axiomatizable, A normal form for restricted exponential functions, Growth estimates for exp-log functions, Which data types have \(\omega\)-complete initial algebra specifications?, Some results about exponential fields (survey)
