Analysing parallel complexity of term rewriting (Q6160759): Difference between revisions

@@ Property / cites work @@
+Cost analysis of object-oriented bytecode programs
+Normal rank
@@ Property / cites work @@
+Parallel Cost Analysis
@@ Property / cites work: Parallel Cost Analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting using dependency pairs
+Normal rank
@@ Property / cites work @@
+A combination framework for complexity
@@ Property / cites work: A combination framework for complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and All That
@@ Property / cites work: Term Rewriting and All That / rank @@
+Normal rank
@@ Property / cites work @@
+Types for complexity of parallel computation in pi-calculus
+Normal rank
@@ Property / cites work @@
+Q6176119
@@ Property / cites work: Q6176119 / rank @@
+Normal rank
@@ Property / cites work @@
+Work Analysis with Resource-Aware Session Types
@@ Property / cites work: Work Analysis with Resource-Aware Session Types / rank @@
+Normal rank
@@ Property / cites work @@
+Term rewriting on GPUs
@@ Property / cites work: Term rewriting on GPUs / rank @@
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Resource Analysis of Complex Programs with Cost Equations
+Normal rank
@@ Property / cites work @@
+Lower bounds for runtime complexity of term rewriting
+Normal rank
@@ Property / cites work @@
+Maximal Termination
@@ Property / cites work: Maximal Termination / rank @@
+Normal rank
@@ Property / cites work @@
+Analyzing program termination and complexity automatically with \textsf{AProVE}
+Normal rank
@@ Property / cites work @@
+Automated Complexity Analysis Based on the Dependency Pair Method
+Normal rank
@@ Property / cites work @@
+Automated Complexity Analysis Based on Context-Sensitive Rewriting
+Normal rank
@@ Property / cites work @@
+Termination proofs and the length of derivations
@@ Property / cites work: Termination proofs and the length of derivations / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic Static Cost Analysis for Parallel Programs
+Normal rank
@@ Property / cites work @@
+A General Framework for Static Cost Analysis of Parallel Logic Programs
+Normal rank
@@ Property / cites work @@
+Term Rewriting with Logical Constraints
@@ Property / cites work: Term Rewriting with Logical Constraints / rank @@
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+Normal rank
@@ Property / cites work @@
+Automated amortised resource analysis for term rewrite systems
+Normal rank
@@ Property / cites work @@
+Complexity analysis for term rewriting by integer transition systems
+Normal rank
@@ Property / cites work @@
+Analyzing innermost runtime complexity of term rewriting by dependency pairs
+Normal rank
@@ Property / cites work @@
+Runtime complexity analysis of logically constrained rewriting
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6160759