scientific article; zbMATH DE number 4170894

MaRDI QIDQ3496332zbMATH OpenFDO

Authors V. P. Orevkov

Publication date 1988

zbMATH Keywords

algorithmsolvabilityequation in termsfinite functional language

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Word problems, etc. in computability and recursion theory (03D40)

Recommendations

• scientific article; zbMATH DE number 1346493
• scientific article; zbMATH DE number 4203772
• Solving equations with sequence variables and sequence functions
• scientific article; zbMATH DE number 4110161
• On ground word problem of term equation systems

Cited in

(7)

• Functional equations for the functions of real variables
• Artificial Intelligence and Symbolic Computation
• scientific article; zbMATH DE number 68600 (Why is no real title available?)
• scientific article; zbMATH DE number 4110161 (Why is no real title available?)
• scientific article; zbMATH DE number 5642095 (Why is no real title available?)
• Proof schemata in Hilbert-type axiomatic theories
• Solving equations with sequence variables and sequence functions

This page was built for publication:

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