A Logic for Rewriting Strategies (Q2841238): Difference between revisions

@@ Property / cites work @@
+Q4222858
@@ Property / cites work: Q4222858 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4144755
@@ Property / cites work: Q4144755 / rank @@
+Normal rank
@@ Property / cites work @@
+Using branching time temporal logic to synthesize synchronization skeletons
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222853
@@ Property / cites work: Q4222853 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222856
@@ Property / cites work: Q4222856 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222980
@@ Property / cites work: Q4222980 / rank @@
+Normal rank
@@ Property / cites work @@
+Building program optimizers with rewriting strategies
+Normal rank