From multiple sequent for additive linear logic to decision procedures for free lattices (Q1960422): Difference between revisions

@@ Property / cites work @@
+Q5331549
@@ Property / cites work: Q5331549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5547552
@@ Property / cites work: Q5547552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342081
@@ Property / cites work: Q4342081 / rank @@
+Normal rank
@@ Property / cites work @@
+Free Modular Lattices
@@ Property / cites work: Free Modular Lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Term rewrite systems for lattice theory
@@ Property / cites work: Term rewrite systems for lattice theory / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the word problem for the modular lattice with four free generators
+Normal rank
@@ Property / cites work @@
+Logic programming in a fragment of intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+Resolution calculus for the first order linear logic
+Normal rank
@@ Property / cites work @@
+On proof normalization in linear logic
@@ Property / cites work: On proof normalization in linear logic / 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 @@
+Proof strategies in linear logic
@@ Property / cites work: Proof strategies in linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4010371
@@ Property / cites work: Q4010371 / rank @@
+Normal rank