Basic formulas and languages. II: Applications to EOL systems and forms (Q1166276): Difference between revisions

@@ Property / cites work @@
+Many-to-one simulation in EOL forms is decidable
@@ Property / cites work: Many-to-one simulation in EOL forms is decidable / rank @@
+Normal rank
@@ Property / cites work @@
+Basic formulas and languages. I: The theory
@@ Property / cites work: Basic formulas and languages. I: The theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+Ordering by Divisibility in Abstract Algebras
@@ Property / cites work: Ordering by Divisibility in Abstract Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+The theory of well-quasi-ordering: a frequently discovered concept
+Normal rank
@@ Property / cites work @@
+EOL forms
@@ Property / cites work: EOL forms / rank @@
+Normal rank
@@ Property / cites work @@
+Q4140407
@@ Property / cites work: Q4140407 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5678435
@@ Property / cites work: Q5678435 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar and L forms: an introduction
@@ Property / cites work: Grammar and L forms: an introduction / rank @@
+Normal rank