scientific article; zbMATH DE number 4205998

MaRDI QIDQ3355243zbMATHFDO

Authors Andrea Corradini, Ugo Montanari

Publication date 1990

zbMATH Keywords

observationsHorn Clause logic

Mathematics Subject Classification ID

Logic programming (68N17) Semantics in the theory of computing (68Q55)

Recommendations

• Contributions to the semantics of logic perpetual processes
• A semantics for \(\lambda \)Prolog
• scientific article; zbMATH DE number 86272
• scientific article; zbMATH DE number 4125378
• scientific article; zbMATH DE number 176721

Cited in

(11)

• Clausal intuitionistic logic I. fixed-point semantics
• Contributions to the semantics of logic perpetual processes
• From process logic to program logic
• scientific article; zbMATH DE number 4118343 (Why is no real title available?)
• scientific article; zbMATH DE number 3963182 (Why is no real title available?)
• On the unification of process semantics: equational semantics
• scientific article; zbMATH DE number 2158986 (Why is no real title available?)
• Processes as formal power series: a coinductive approach to denotational semantics
• scientific article; zbMATH DE number 1231480 (Why is no real title available?)
• scientific article; zbMATH DE number 4026801 (Why is no real title available?)
• An algebraic semantics for structured transition systems and its application to logic programs

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