The existence and construction of free iterative theories (Q1228350): Difference between revisions

@@ Property / cites work @@
+Logic colloquium '73. Proceedings of the logic colloquium, Bristol, July 1973
+Normal rank
@@ Property / cites work @@
+Automata in general algebras
@@ Property / cites work: Automata in general algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q5801329
@@ Property / cites work: Q5801329 / rank @@
+Normal rank
@@ Property / cites work @@
+FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
@@ Property / cites work: FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES / rank @@
+Normal rank