scientific article; zbMATH DE number 4045729

MaRDI QIDQ3783282zbMATH OpenFDO

Authors D. I. Sviridenko, Vladimir Yu. Sazonov

Publication date 1986

zbMATH Keywords

admissible setsdenotational semanticsrecursively enumerable sets over a constructive modelSigma-expressionsunification principle

Mathematics Subject Classification ID

Logic on admissible sets (03C70) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Abstract and axiomatic computability and recursion theory (03D75) Applications of computability and recursion theory (03D80) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4045728
• Publication:3472084
• scientific article; zbMATH DE number 3956413
• A denotational semantics of LC2
• scientific article; zbMATH DE number 3909726
• scientific article; zbMATH DE number 4045109
• Syntax and semantics of the logic \({\mathcal L}_{\omega\omega}^\lambda\)
• A symbolic semantics for the \(\pi\)-calculus
• Semantics of linear/modal lambda calculus
• Semantics of a relational \(\lambda\)-calculus

Cited in

(4)

• \(f_ A\)-spaces
• Generatability of admissible sets
• scientific article; zbMATH DE number 4045728 (Why is no real title available?)
• scientific article; zbMATH DE number 956830 (Why is no real title available?)

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