Hybrid and subexponential linear logics (Q1744445): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2664426418
@@ Property / OpenAlex ID: W2664426418 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q57850667
@@ Property / Wikidata QID: Q57850667 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08779
@@ Property / arXiv ID: 1608.08779 / 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 @@
+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 @@
+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 @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A formal framework for specifying sequent calculus proof systems
+Normal rank
@@ Property / cites work @@
+A General Proof System for Modalities in Concurrent Constraint Programming
+Normal rank
@@ Property / cites work @@
+Specifying Proof Systems in Linear Logic with Subexponentials
+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 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 / DBLP publication ID @@
+journals/entcs/DespeyrouxOP17
@@ Property / DBLP publication ID: journals/entcs/DespeyrouxOP17 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:1744445