Origin tracking (Q1322842): Difference between revisions

@@ Property / cites work @@
+Q4871703
@@ Property / cites work: Q4871703 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4692466
@@ Property / cites work: Q4692466 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+Origin tracking
@@ Property / cites work: Origin tracking / rank @@
+Normal rank
@@ Property / cites work @@
+A graph reduction approach to incremental term rewriting
+Normal rank
@@ Property / cites work @@
+Q4297316
@@ Property / cites work: Q4297316 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805933
@@ Property / cites work: Q3805933 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3805891
@@ Property / cites work: Q3805891 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing in systems described by equations
@@ Property / cites work: Computing in systems described by equations / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0747-7171(06)80004-0
+Normal rank
@@ Property / OpenAlex ID @@
+W2912858146
@@ Property / OpenAlex ID: W2912858146 / rank @@
+Normal rank