First-Order Logic Definability of Free Languages (Q3194725): Difference between revisions

@@ Property / cites work @@
+First-Order and Temporal Logics for Nested Words
@@ Property / cites work: First-Order and Temporal Logics for Nested Words / rank @@
+Normal rank
@@ Property / cites work @@
+Adding nesting structure to words
@@ Property / cites work: Adding nesting structure to words / rank @@
+Normal rank
@@ Property / cites work @@
+The minimalization of tree automata
@@ Property / cites work: The minimalization of tree automata / rank @@
+Normal rank
@@ Property / cites work @@
+Noncounting Context-Free Languages
@@ Property / cites work: Noncounting Context-Free Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Operator precedence and the visibly pushdown property
+Normal rank
@@ Property / cites work @@
+Algebraic properties of operator precedence languages
+Normal rank
@@ Property / cites work @@
+The use of grammatical inference for designing programming languages
+Normal rank
@@ Property / cites work @@
+Some properties of precedence languages
@@ Property / cites work: Some properties of precedence languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q3404129
@@ Property / cites work: Q3404129 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4474840
@@ Property / cites work: Q4474840 / rank @@
+Normal rank
@@ Property / cites work @@
+Precedence Automata and Languages
@@ Property / cites work: Precedence Automata and Languages / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Characterization of Invisibly Structured Languages: The Case of Floyd Languages
+Normal rank
@@ Property / cites work @@
+Parenthesis Grammars
@@ Property / cites work: Parenthesis Grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q5641083
@@ Property / cites work: Q5641083 / rank @@
+Normal rank
@@ Property / cites work @@
+Operator Precedence ω-Languages
@@ Property / cites work: Operator Precedence ω-Languages / rank @@
+Normal rank