scientific article

zbMath0489.03013MaRDI QIDQ3950550

Jan Sebelik

Publication date: 1982

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

matchingunificationlogic programmingrecursive equationsprimitive recursive functionseffective translators between Kleene's formalism of equations for defining the partial recursive functions and the Horn clause formalismHorn clause programs obtained from equations

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Recursive functions and relations, subrecursive hierarchies (03D20) Turing machines and related notions (03D10) Computability and recursion theory on ordinals, admissible sets, etc. (03D60)

Cites Work

• Unnamed Item
• Unnamed Item
• Horn clause computability