Merging Procedural and Declarative Proof (Q3638254): Difference between revisions

@@ Property / cites work @@
+Mathematical knowledge management in HELM
@@ Property / cites work: Mathematical knowledge management in HELM / rank @@
+Normal rank
@@ Property / cites work @@
+From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions
+Normal rank
@@ Property / cites work @@
+Rewriting Techniques and Applications
@@ Property / cites work: Rewriting Techniques and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logic in Computer Science
@@ Property / cites work: Logic in Computer Science / rank @@
+Normal rank