Transformations of Conditional Rewrite Systems Revisited (Q3184732): Difference between revisions

@@ Property / author @@
+Bernhard Gramlich
@@ Property / author: Bernhard Gramlich / 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.1007/978-3-642-03429-9_12
+Normal rank
@@ Property / OpenAlex ID @@
+W2418509144
@@ Property / OpenAlex ID: W2418509144 / 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 @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+Computationally Equivalent Elimination of Conditions
+Normal rank
@@ Property / cites work @@
+Q3817653
@@ Property / cites work: Q3817653 / rank @@
+Normal rank
@@ Property / cites work @@
+Proving operational termination of membership equational programs
+Normal rank
@@ Property / cites work @@
+Unravelings and ultra-properties
@@ Property / cites work: Unravelings and ultra-properties / rank @@
+Normal rank
@@ Property / cites work @@
+Transformation for Refining Unraveled Conditional Term Rewriting Systems
+Normal rank
@@ Property / cites work @@
+Term Rewriting and Applications
@@ Property / cites work: Term Rewriting and Applications / rank @@
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Recent Trends in Algebraic Development Techniques
@@ Property / cites work: Recent Trends in Algebraic Development Techniques / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizing and proving operational termination of deterministic conditional term rewriting systems
+Normal rank
@@ Property / cites work @@
+Elimination of conditions
@@ Property / cites work: Elimination of conditions / rank @@
+Normal rank