scientific article; zbMATH DE number 4092732

MaRDI QIDQ3819964zbMATH OpenFDO

Authors A. A. Voronkov

Publication date 1987

zbMATH Keywords

first-order theorylistslogical \(\Sigma\)-programslogical calculusoperational semanticspositive inductive definitions

Mathematics Subject Classification ID

Logic in computer science (03B70) General topics in the theory of software (68N01)

Recommendations

• THE Σλ-CALCULUS AND DERIVED PROGRAM FORMS
• scientific article; zbMATH DE number 4007715
• Publication:3472084
• Calculability and logic programs
• scientific article; zbMATH DE number 4106288

Cited in

(6)

• Calculability and logic programs
• scientific article; zbMATH DE number 4139721 (Why is no real title available?)
• scientific article; zbMATH DE number 4045728 (Why is no real title available?)
• scientific article; zbMATH DE number 4057488 (Why is no real title available?)
• scientific article; zbMATH DE number 4106288 (Why is no real title available?)
• THE Σλ-CALCULUS AND DERIVED PROGRAM FORMS

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