Maude as a Platform for Designing and Implementing Deep Inference Systems (Q5415654): Difference between revisions

@@ Property / cites work @@
+On the proof complexity of deep inference
@@ Property / cites work: On the proof complexity of deep inference / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+Q4447224
@@ Property / cites work: Q4447224 / rank @@
+Normal rank
@@ Property / cites work @@
+A system of interaction and structure
@@ Property / cites work: A system of interaction and structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q4428303
@@ Property / cites work: Q4428303 / rank @@
+Normal rank
@@ Property / cites work @@
+System BV is NP-complete
@@ Property / cites work: System BV is NP-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Reducing Nondeterminism in the Calculus of Structures
+Normal rank
@@ Property / cites work @@
+Q4222859
@@ Property / cites work: Q4222859 / rank @@
+Normal rank
@@ Property / cites work @@
+The Logic of Bunched Implications
@@ Property / cites work: The Logic of Bunched Implications / rank @@
+Normal rank
@@ Property / cites work @@
+Q5483015
@@ Property / cites work: Q5483015 / rank @@
+Normal rank
@@ Property / cites work @@
+A deep inference system for the modal logic S5
@@ Property / cites work: A deep inference system for the modal logic S5 / rank @@
+Normal rank
@@ Property / cites work @@
+MELL in the calculus of structures
@@ Property / cites work: MELL in the calculus of structures / rank @@
+Normal rank
@@ Property / cites work @@
+A Local System for Intuitionistic Logic
@@ Property / cites work: A Local System for Intuitionistic Logic / rank @@
+Normal rank
@@ Property / cites work @@
+A System of Interaction and Structure II: The Need for Deep Inference
+Normal rank