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

@@ Property / describes a project that uses @@
+Maude
@@ Property / describes a project that uses: Maude / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.entcs.2008.10.033
+Normal rank
@@ Property / OpenAlex ID @@
+W2049273972
@@ Property / OpenAlex ID: W2049273972 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5415654