Concurrent constraint programming and non-commutative logic

DOI10.1007/BFB0028028MaRDI QIDQ4218945zbMATH OpenFDO

Authors Paul Ruet, François Fages

Publication date 15 November 1998

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0028028

zbMATH Keywords

concurrent constraint programmingintuitionistic fragment of a non-commutative version of linear logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70)

Recommendations

• Logical semantics of concurrent constraint programming
• Linear concurrent constraint programming: Operational and phase semantics
• scientific article; zbMATH DE number 794260
• scientific article; zbMATH DE number 517089

Cited in

(15)

• Linear concurrent constraint programming: Operational and phase semantics
• On concurrent behaviors and focusing in linear logic
• Proof-search and proof nets in mixed linear logic
• Design and implementation of a concurrent logic programming language with linear logic constraints
• Observational equivalences for linear logic concurrent constraint languages
• Concurrent constraints in the fusion calculus. (Extended abstract)
• scientific article; zbMATH DE number 517089 (Why is no real title available?)
• Logical semantics of concurrent constraint programming
• Efficient analysis of concurrent constraint logic programs
• Some properties of \( L\)-fuzzy approximation spaces based on bounded integral residuated lattices
• Unfolding and fixpoint semantics of concurrent constraint logic programs
• Cyclic extensions of order varieties
• Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs
• FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
• A Survey of the Proof-Theoretic Foundations of Logic Programming

This page was built for publication: Concurrent constraint programming and non-commutative logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4218945)