A normal form for restricted exponential functions

DOI10.1051/ITA/1989230202171MaRDI QIDQ3816059zbMATH OpenOpenAlexFDO

Authors Patrizia Gianni, Pierpaolo Degano

Publication date 1989

Published in RAIRO - Theoretical Informatics and Applications (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/92332

zbMATH Keywords

first order theoryidentity problemterm rewriting systemtowers of simple exponentiations

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Basic properties of first-order languages and structures (03C07) Equational logic, Mal'tsev conditions (08B05) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3898871
• scientific article; zbMATH DE number 3938426
• Decidability of some Problems Pertaining to Base 2 Exponential Diophantine Equations
• A normal form and integration in finite terms for a class of elementary functions
• Deciding polynomial-exponential problems

Cites work

• An ordered set of arithmetic functions representing the least ε‐number
• Complete Sets of Reductions for Some Equational Theories
• scientific article; zbMATH DE number 3792250 (Why is no real title available?)
• scientific article; zbMATH DE number 3332449 (Why is no real title available?)
• Some Application of Nevanlinna Theory to Mathematical Logic: Identities Exponential Functions

Cited in

(3)

• A SECOND NORMAL FORM FOR FUNCTIONS OF THE SYSTEM EP
• scientific article; zbMATH DE number 3898871 (Why is no real title available?)
• scientific article; zbMATH DE number 3938426 (Why is no real title available?)

This page was built for publication: A normal form for restricted exponential functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3816059)