scientific article; zbMATH DE number 4170894

zbMATH Open0712.03036MaRDI QIDQ3496332FDOQ3496332

Authors: V. P. Orevkov 

Publication date: 1988

Title of this publication is not available (Why is that?)

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

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)

Cited In (7)

• Functional equations for the functions of real variables
• Artificial Intelligence and Symbolic Computation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)