scientific article; zbMATH DE number 4170894

MaRDI QIDQ3496332zbMATH OpenFDO

Authors V. P. Orevkov

Publication date 1988

zbMATH Keywords

algorithmequation in termsfinite functional languagesolvability

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

(11)

• Equational programming in -calculus via SL-systems. Part 2
• Proof schemata in Hilbert-type axiomatic theories
• Solving equations with sequence variables and sequence functions
• Functional equations for the functions of real variables
• scientific article; zbMATH DE number 4201492 (Why is no real title available?)
• scientific article; zbMATH DE number 4203772 (Why is no real title available?)
• scientific article; zbMATH DE number 5642095 (Why is no real title available?)
• scientific article; zbMATH DE number 4110161 (Why is no real title available?)
• scientific article; zbMATH DE number 68600 (Why is no real title available?)
• scientific article; zbMATH DE number 1346493 (Why is no real title available?)
• Artificial Intelligence and Symbolic Computation

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)