Hybrid linear logic, revisited (Q5236552): Difference between revisions

@@ Property / describes a project that uses @@
+Alcove
@@ Property / describes a project that uses: Alcove / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations for Reliable and Flexible Interactive Multimedia Scores
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Least and Greatest Fixed Points in Linear Logic
@@ Property / cites work: Least and Greatest Fixed Points in Linear Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking: \(10^{20}\) states and beyond
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical and Intuitionistic Subexponential Logics Are Equally Expressive
+Normal rank
@@ Property / cites work @@
+A linear logical framework
@@ Property / cites work: A linear logical framework / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic propositions as session types
@@ Property / cites work: Linear logic propositions as session types / rank @@
+Normal rank
@@ Property / cites work @@
+An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials
+Normal rank
@@ Property / cites work @@
+Q2968415
@@ Property / cites work: Q2968415 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4282602
@@ Property / cites work: Q4282602 / rank @@
+Normal rank
@@ Property / cites work @@
+A Logical Framework for Systems Biology
@@ Property / cites work: A Logical Framework for Systems Biology / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid and subexponential linear logics
@@ Property / cites work: Hybrid and subexponential linear logics / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Unification under a mixed prefix
@@ Property / cites work: Unification under a mixed prefix / rank @@
+Normal rank
@@ Property / cites work @@
+A formal framework for specifying sequent calculus proof systems
+Normal rank
@@ Property / cites work @@
+A framework for linear authorization logics
@@ Property / cites work: A framework for linear authorization logics / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for proof systems
@@ Property / cites work: A framework for proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+A General Proof System for Modalities in Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+On subexponentials, focusing and modalities in concurrent systems
+Normal rank
@@ Property / cites work @@
+Specifying Proof Systems in Linear Logic with Subexponentials
+Normal rank
@@ Property / cites work @@
+An extended framework for specifying and reasoning about proof systems
+Normal rank
@@ Property / cites work @@
+A proof theoretic view of spatial and temporal dependencies in biochemical systems
+Normal rank
@@ Property / cites work @@
+Subexponential concurrent constraint programming
@@ Property / cites work: Subexponential concurrent constraint programming / rank @@
+Normal rank
@@ Property / cites work @@
+A concurrent constraint programming interpretation of access permissions
+Normal rank
@@ Property / cites work @@
+A Proof Theoretic Study of Soft Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+Hybridizing a Logical Framework
@@ Property / cites work: Hybridizing a Logical Framework / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1017/s0960129518000439
+Normal rank
@@ Property / OpenAlex ID @@
+W2939287701
@@ Property / OpenAlex ID: W2939287701 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128007534
@@ Property / Wikidata QID: Q128007534 / rank @@
+Normal rank