scientific article; zbMATH DE number 4205998

zbMATH Open0729.68042MaRDI QIDQ3355243FDOQ3355243

Authors: Andrea Corradini, Ugo Montanari 

Publication date: 1990

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

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

zbMATH Keywords

observationsHorn Clause logic

Mathematics Subject Classification ID

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

Cited In (11)

• Clausal intuitionistic logic I. fixed-point semantics
• Contributions to the semantics of logic perpetual processes
• Title not available (Why is that?)
• On the unification of process semantics: equational semantics
• Title not available (Why is that?)
• An algebraic semantics for structured transition systems and its application to logic programs
• Title not available (Why is that?)
• Processes as formal power series: a coinductive approach to denotational semantics
• Title not available (Why is that?)
• Title not available (Why is that?)
• From process logic to program logic

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)