Operational termination of conditional term rewriting systems (Q1041807): Difference between revisions

@@ Property / DOI @@
-.1016/j.ipl.2005.05.002
@@ Property / DOI: 10.1016/j.ipl.2005.05.002 / rank @@
-Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ipl.2005.05.002
+Normal rank
@@ Property / OpenAlex ID @@
+W2091448415
@@ Property / OpenAlex ID: W2091448415 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules: Confluence and termination
+Normal rank
@@ Property / cites work @@
+ELAN from a rewriting logic point of view
@@ Property / cites work: ELAN from a rewriting logic point of view / rank @@
+Normal rank
@@ Property / cites work @@
+Specification and proof in membership equational logic
+Normal rank
@@ Property / cites work @@
+Q4449180
@@ Property / cites work: Q4449180 / rank @@
+Normal rank
@@ Property / cites work @@
+Maude: specification and programming in rewriting logic
+Normal rank
@@ Property / cites work @@
+A rationale for conditional equational programming
+Normal rank
@@ Property / cites work @@
+Q2715825
@@ Property / cites work: Q2715825 / rank @@
+Normal rank
@@ Property / cites work @@
+Conditional rewrite rules
@@ Property / cites work: Conditional rewrite rules / rank @@
+Normal rank
@@ Property / cites work @@
+Simplifying conditional term rewriting systems: Unification, termination and confluence
+Normal rank
@@ Property / cites work @@
+Unravelings and ultra-properties
@@ Property / cites work: Unravelings and ultra-properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q3839051
@@ Property / cites work: Q3839051 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2783416
@@ Property / cites work: Q2783416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938421
@@ Property / cites work: Q4938421 / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.IPL.2005.05.002
@@ Property / DOI: 10.1016/J.IPL.2005.05.002 / rank @@
+Normal rank