Termination modulo equations by abstract commutation with an application to iteration (Q1391793): Difference between revisions

@@ Property / cites work @@
+An equational axiomatization for multi-exit iteration
+Normal rank
@@ Property / cites work @@
+Axiomatizing prefix iteration with silent steps
@@ Property / cites work: Axiomatizing prefix iteration with silent steps / rank @@
+Normal rank
@@ Property / cites work @@
+Associative-commutative reduction orderings
@@ Property / cites work: Associative-commutative reduction orderings / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783521
@@ Property / cites work: Q3783521 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination orderings for associative-commutative rewriting systems
+Normal rank
@@ Property / cites work @@
+Q4727412
@@ Property / cites work: Q4727412 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination by completion
@@ Property / cites work: Termination by completion / rank @@
+Normal rank
@@ Property / cites work @@
+Q4525274
@@ Property / cites work: Q4525274 / rank @@
+Normal rank
@@ Property / cites work @@
+Process algebra for synchronous communication
@@ Property / cites work: Process algebra for synchronous communication / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Path orderings for termination of associative-commutative rewriting
+Normal rank
@@ Property / cites work @@
+Total termination of term rewriting
@@ Property / cites work: Total termination of term rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Dummy elimination in equational rewriting
@@ Property / cites work: Dummy elimination in equational rewriting / rank @@
+Normal rank
@@ Property / cites work @@
+Dummy elimination: Making termination easier
@@ Property / cites work: Dummy elimination: Making termination easier / rank @@
+Normal rank
@@ Property / cites work @@
+A complete equational axiomatization for prefix iteration
+Normal rank
@@ Property / cites work @@
+Q4375630
@@ Property / cites work: Q4375630 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3783522
@@ Property / cites work: Q3783522 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336736
@@ Property / cites work: Q3336736 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3976057
@@ Property / cites work: Q3976057 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Forms of the Predicates in the Theory of Constructive Ordinals
+Normal rank
@@ Property / cites work @@
+Q3805891
@@ Property / cites work: Q3805891 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete inference system for a class of regular behaviours
+Normal rank
@@ Property / cites work @@
+Q3907077
@@ Property / cites work: Q3907077 / rank @@
+Normal rank
@@ Property / cites work @@
+Termination of term rewriting: Interpretation and type elimination
+Normal rank
@@ Property / cites work @@
+Q4847000
@@ Property / cites work: Q4847000 / rank @@
+Normal rank
@@ Property / cites work @@
+A complete characterization of termination of 0p 1q→1r 0s
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/s0304-3975(96)00254-x
+Normal rank
@@ Property / OpenAlex ID @@
+W1978137006
@@ Property / OpenAlex ID: W1978137006 / rank @@
+Normal rank