scientific article; zbMATH DE number 1223634
From MaRDI portal
Publication:4218945
zbMath0908.03033MaRDI QIDQ4218945
Publication date: 15 November 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent constraint programmingintuitionistic fragment of a non-commutative version of linear logic
Logic in computer science (03B70) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (8)
On concurrent behaviors and focusing in linear logic ⋮ Unnamed Item ⋮ Slicing concurrent constraint programs ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ Some properties of \( L\)-fuzzy approximation spaces based on bounded integral residuated lattices ⋮ Cyclic Extensions of Order Varieties ⋮ Leaving Traces: A Note on a Sound and Complete Trace Logic for Concurrent Constraint Programs ⋮ Linear concurrent constraint programming: Operational and phase semantics
This page was built for publication: