A compact fixpoint semantics for term rewriting systems (Q987981): Difference between revisions

@@ Property / author @@
-María Alpuente
@@ Property / author: María Alpuente / rank @@
-Normal rank
@@ Property / author @@
-Marco Comini
@@ Property / author: Marco Comini / rank @@
-Normal rank
@@ Property / author @@
-Santiago Escobar
@@ Property / author: Santiago Escobar / rank @@
-Normal rank
@@ Property / author @@
-Moreno Falaschi
@@ Property / author: Moreno Falaschi / rank @@
-Normal rank
@@ Property / author @@
-José Iborra
@@ Property / author: José Iborra / rank @@
-Normal rank