scientific article; zbMATH DE number 4045728

zbMATH Open0642.03027MaRDI QIDQ3783281FDOQ3783281

Authors: Yuri L. Ershov 

Publication date: 1986

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

Recommendations

• scientific article; zbMATH DE number 4045729
• scientific article; zbMATH DE number 4021108
• scientific article; zbMATH DE number 4106288
• scientific article; zbMATH DE number 3980456
• scientific article; zbMATH DE number 4092732

zbMATH Keywords

logic programmingadmissible setsspecification of programsformal method for proving properties of algorithmsprogramming operatorsrecursively enumerable sets over a constructive modelSigma-expressions

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Theory of numerations, effectively presented structures (03D45) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Abstract data types; algebraic specification (68Q65) Applications of computability and recursion theory (03D80)

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Generatability of admissible sets
• Title not available (Why is that?)
• Theory of symbolic expressions. I
• Title not available (Why is that?)
• Title not available (Why is that?)

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 Q3783281)