Generating languages by a derivation procedure for elementary formal systems (Q294648): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+Q45
@@ Property / Mathematics Subject Classification ID: 68Q45 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6594034
@@ Property / zbMATH DE Number: 6594034 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+formal languages
@@ Property / zbMATH Keywords: formal languages / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+elementary formal system
@@ Property / zbMATH Keywords: elementary formal system / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+unification
@@ Property / zbMATH Keywords: unification / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of syntax directed translations
@@ Property / cites work: Properties of syntax directed translations / rank @@
+Normal rank
@@ Property / cites work @@
+Syntax directed translations and the pushdown assembler
+Normal rank
@@ Property / cites work @@
+Learning elementary formal systems
@@ Property / cites work: Learning elementary formal systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5576254
@@ Property / cites work: Q5576254 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimal and complete word unification
@@ Property / cites work: Minimal and complete word unification / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity of unification problems with associative-commutative operators
+Normal rank
@@ Property / cites work @@
+Unification: a multidisciplinary survey
@@ Property / cites work: Unification: a multidisciplinary survey / rank @@
+Normal rank
@@ Property / cites work @@
+Syntax-Directed Transduction
@@ Property / cites work: Syntax-Directed Transduction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+Normal rank
@@ Property / cites work @@
+THE PROBLEM OF SOLVABILITY OF EQUATIONS IN A FREE SEMIGROUP
+Normal rank
@@ Property / cites work @@
+Rich classes inferable from positive data: Length-bounded elementary formal systems
+Normal rank
@@ Property / cites work @@
+Monadic Elementary Formal Systems
@@ Property / cites work: Monadic Elementary Formal Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive learning of translations based on dictionaries
+Normal rank
@@ Property / cites work @@
+Short note: procedural semantics and negative information of elementary formal system
+Normal rank
@@ Property / OpenAlex ID @@
+W1996067401
@@ Property / OpenAlex ID: W1996067401 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:294648