scientific article; zbMATH DE number 4139721

MaRDI QIDQ3472084zbMATH OpenFDO

Authors D. I. Sviridenko, S. S. Goncharov

Publication date 1987

zbMATH Keywords

semanticslogic programsprogram translation\(\Sigma ^ +\)-programs

Mathematics Subject Classification ID

Automata and formal grammars in connection with logical questions (03D05) Specification and verification (program logics, model checking, etc.) (68Q60) Algebraic theory of languages and automata (68Q70) Mechanization of proofs and logical operations (03B35) Logic in computer science (03B70)

Cited in

(11)

• Recursive terms in semantic programming
• scientific article; zbMATH DE number 1136653 (Why is no real title available?)
• On the complexity of formulas in semantic programming
• Conditional terms in semantic programming
• scientific article; zbMATH DE number 4092732 (Why is no real title available?)
• scientific article; zbMATH DE number 4106288 (Why is no real title available?)
• scientific article; zbMATH DE number 1191243 (Why is no real title available?)
• scientific article; zbMATH DE number 4021108 (Why is no real title available?)
• scientific article; zbMATH DE number 4007715 (Why is no real title available?)
• scientific article; zbMATH DE number 4045729 (Why is no real title available?)
• On termination of transactions over semantic document models

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