Q5018490 (Q5018490): Difference between revisions

@@ Property / describes a project that uses @@
+Sympli
@@ Property / describes a project that uses: Sympli / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+linTAP
@@ Property / describes a project that uses: linTAP / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+llprover
@@ Property / describes a project that uses: llprover / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.06850
@@ Property / arXiv ID: 1904.06850 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Intuitionistic hybrid logic
@@ Property / cites work: Intuitionistic hybrid logic / rank @@
+Normal rank
@@ Property / cites work @@
+Typed Multiset Rewriting Specifications of Security Protocols
+Normal rank
@@ Property / cites work @@
+Efficient resource management for linear logic proof search
+Normal rank
@@ Property / cites work @@
+A linear logical framework
@@ Property / cites work: A linear logical framework / rank @@
+Normal rank
@@ Property / cites work @@
+Automated Deduction – CADE-20
@@ Property / cites work: Automated Deduction – CADE-20 / rank @@
+Normal rank
@@ Property / cites work @@
+An Adequate Compositional Encoding of Bigraph Structure in Linear Logic with Subexponentials
+Normal rank
@@ Property / cites work @@
+On the linear decoration of intuitionistic derivations
+Normal rank
@@ Property / cites work @@
+Q4501142
@@ Property / cites work: Q4501142 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q5812175
@@ Property / cites work: Q5812175 / rank @@
+Normal rank
@@ Property / cites work @@
+Around Classical and Intuitionistic Linear Logics
@@ Property / cites work: Around Classical and Intuitionistic Linear Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Focusing and polarization in linear, intuitionistic, and classical logics
+Normal rank
@@ Property / cites work @@
+Decision problems for propositional linear logic
@@ Property / cites work: Decision problems for propositional linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938433
@@ Property / cites work: Q4938433 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank
@@ Property / cites work @@
+Twenty years of rewriting logic
@@ Property / cites work: Twenty years of rewriting logic / rank @@
+Normal rank
@@ Property / cites work @@
+A formal framework for specifying sequent calculus proof systems
+Normal rank
@@ Property / cites work @@
+Resolution calculus for the first order linear logic
+Normal rank
@@ Property / cites work @@
+A framework for proof systems
@@ Property / cites work: A framework for proof systems / rank @@
+Normal rank
@@ Property / cites work @@
+On concurrent behaviors and focusing in linear logic
+Normal rank
@@ Property / cites work @@
+The QMLTP Problem Library for First-Order Modal Logics
+Normal rank
@@ Property / cites work @@
+The ILTP problem library for intuitionistic logic
@@ Property / cites work: The ILTP problem library for intuitionistic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219122
@@ Property / cites work: Q3219122 / rank @@
+Normal rank
@@ Property / cites work @@
+Some Syntactical Observations on Linear Logic
@@ Property / cites work: Some Syntactical Observations on Linear Logic / rank @@
+Normal rank
@@ Property / cites work @@
+The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
+Normal rank
@@ Property / cites work @@
+Proof strategies in linear logic
@@ Property / cites work: Proof strategies in linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4364504
@@ Property / cites work: Q4364504 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4495851
@@ Property / cites work: Q4495851 / rank @@
+Normal rank