Conjunctive and Boolean grammars: the true general case of the context-free grammars (Q394967): Difference between revisions

@@ Property / cites work @@
+Letter to the Editor
@@ Property / cites work: Letter to the Editor / rank @@
+Normal rank
@@ Property / cites work @@
+On certain formal properties of grammars
@@ Property / cites work: On certain formal properties of grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Note on the boolean properties of context free languages
+Normal rank
@@ Property / cites work @@
+An efficient recognizer for the Boolean closure of context-free languages
+Normal rank
@@ Property / cites work @@
+Q4531380
@@ Property / cites work: Q4531380 / rank @@
+Normal rank
@@ Property / cites work @@
+Boolean grammars
@@ Property / cites work: Boolean grammars / rank @@
+Normal rank
@@ Property / cites work @@
+A game-theoretic characterization of Boolean grammars
+Normal rank
@@ Property / cites work @@
+Q4714447
@@ Property / cites work: Q4714447 / rank @@
+Normal rank
@@ Property / cites work @@
+Two Families of Languages Related to ALGOL
@@ Property / cites work: Two Families of Languages Related to ALGOL / rank @@
+Normal rank
@@ Property / cites work @@
+The dual of concatenation
@@ Property / cites work: The dual of concatenation / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive grammars and systems of language equations
+Normal rank
@@ Property / cites work @@
+Well-founded semantics for Boolean grammars
@@ Property / cites work: Well-founded semantics for Boolean grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Recognition and parsing of context-free languages in time n3
+Normal rank
@@ Property / cites work @@
+An Improved Context-Free Recognizer
@@ Property / cites work: An Improved Context-Free Recognizer / rank @@
+Normal rank
@@ Property / cites work @@
+A Syntax-Analysis Procedure for Unambiguous Context-Free Grammars
+Normal rank
@@ Property / cites work @@
+General context-free recognition in less than cubic time
+Normal rank
@@ Property / cites work @@
+Q4054657
@@ Property / cites work: Q4054657 / rank @@
+Normal rank
@@ Property / cites work @@
+On uniform circuit complexity
@@ Property / cites work: On uniform circuit complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Q3742751
@@ Property / cites work: Q3742751 / rank @@
+Normal rank
@@ Property / cites work @@
+CONJUNCTIVE GRAMMARS GENERATE NON-REGULAR UNARY LANGUAGES
+Normal rank
@@ Property / cites work @@
+Conjunctive grammars over a unary alphabet: Undecidability and unbounded growth
+Normal rank
@@ Property / cites work @@
+Complexity of equations over sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Q3396606
@@ Property / cites work: Q3396606 / rank @@
+Normal rank
@@ Property / cites work @@
+Fast Parsing for Boolean Grammars: A Generalization of Valiant’s Algorithm
+Normal rank
@@ Property / cites work @@
+A grammatical characterization of alternating pushdown automata
+Normal rank
@@ Property / cites work @@
+A characterization of exponential-time languages by alternating context- free grammars
+Normal rank
@@ Property / cites work @@
+Conjunctive grammars and alternating pushdown automata
+Normal rank
@@ Property / cites work @@
+Alternating Context-Free Languages and Linear Time μ-Calculus with Sequential Composition
+Normal rank
@@ Property / cites work @@
+Unambiguous Boolean grammars
@@ Property / cites work: Unambiguous Boolean grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214431
@@ Property / cites work: Q3214431 / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive grammars with restricted disjunction
@@ Property / cites work: Conjunctive grammars with restricted disjunction / rank @@
+Normal rank
@@ Property / cites work @@
+A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
+Normal rank
@@ Property / cites work @@
+Decision problems for language equations
@@ Property / cites work: Decision problems for language equations / rank @@
+Normal rank
@@ Property / cites work @@
+Locally stratified Boolean grammars
@@ Property / cites work: Locally stratified Boolean grammars / rank @@
+Normal rank
@@ Property / cites work @@
+BOOLEAN FUZZY SETS
@@ Property / cites work: BOOLEAN FUZZY SETS / rank @@
+Normal rank
@@ Property / cites work @@
+Unambiguous Conjunctive Grammars over a One-Letter Alphabet
+Normal rank
@@ Property / cites work @@
+One-way bounded cellular automata
@@ Property / cites work: One-way bounded cellular automata / rank @@
+Normal rank
@@ Property / cites work @@
+Systolic trellis automatata †
@@ Property / cites work: Systolic trellis automatata † / rank @@
+Normal rank
@@ Property / cites work @@
+Systolic trellis automata: Stability, decidability and complexity
+Normal rank
@@ Property / cites work @@
+Characterizations and computational complexity of systolic trellis automata
+Normal rank
@@ Property / cites work @@
+On the equivalence of linear conjunctive grammars and trellis automata
+Normal rank
@@ Property / cites work @@
+EFFICIENT AUTOMATON-BASED RECOGNITION FOR LINEAR CONJUNCTIVE LANGUAGES
+Normal rank
@@ Property / cites work @@
+Variations of the firing squad problem and applications
+Normal rank
@@ Property / cites work @@
+An 8-state minimal time solution to the firing squad synchronization problem
+Normal rank
@@ Property / cites work @@
+On real time one-way cellular array
@@ Property / cites work: On real time one-way cellular array / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing Linear Conjunctive Languages to Subfamilies of the Context-Free Languages
+Normal rank
@@ Property / cites work @@
+A property of real-time trellis automata
@@ Property / cites work: A property of real-time trellis automata / rank @@
+Normal rank
@@ Property / cites work @@
+On time computability of functions in one-way cellular automata
+Normal rank
@@ Property / cites work @@
+Q4198075
@@ Property / cites work: Q4198075 / rank @@
+Normal rank
@@ Property / cites work @@
+An efficient context-free parsing algorithm
@@ Property / cites work: An efficient context-free parsing algorithm / rank @@
+Normal rank
@@ Property / cites work @@
+A recognition and parsing algorithm for arbitrary conjunctive grammars.
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2005
@@ Property / cites work: Mathematical Foundations of Computer Science 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+On the translation of languages from left to right
+Normal rank
@@ Property / cites work @@
+LR parsing for conjunctive grammars
@@ Property / cites work: LR parsing for conjunctive grammars / rank @@
+Normal rank
@@ Property / cites work @@
+GENERALIZED LR PARSING ALGORITHM FOR BOOLEAN GRAMMARS
+Normal rank
@@ Property / cites work @@
+Q4418617
@@ Property / cites work: Q4418617 / rank @@
+Normal rank
@@ Property / cites work @@
+Syntax-Directed Transduction
@@ Property / cites work: Syntax-Directed Transduction / rank @@
+Normal rank
@@ Property / cites work @@
+Top-down parsing of conjunctive languages
@@ Property / cites work: Top-down parsing of conjunctive languages / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive descent parsing for Boolean grammars
@@ Property / cites work: Recursive descent parsing for Boolean grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Expressive power of \(\text{LL}(k)\) Boolean grammars
+Normal rank
@@ Property / cites work @@
+Linear Conjunctive Grammars and One-Turn Synchronized Alternating Pushdown Automata
+Normal rank
@@ Property / cites work @@
+LR(0) Conjunctive Grammars and Deterministic Synchronized Alternating Pushdown Automata
+Normal rank
@@ Property / cites work @@
+Matrix multiplication via arithmetic progressions
@@ Property / cites work: Matrix multiplication via arithmetic progressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q5616735
@@ Property / cites work: Q5616735 / rank @@
+Normal rank
@@ Property / cites work @@
+Gaussian elimination is not optimal
@@ Property / cites work: Gaussian elimination is not optimal / rank @@
+Normal rank
@@ Property / cites work @@
+Derandomization, witnesses for Boolean matrix multiplication and construction of perfect hash functions
+Normal rank
@@ Property / cites work @@
+Fast on-line integer multiplication
@@ Property / cites work: Fast on-line integer multiplication / rank @@
+Normal rank
@@ Property / cites work @@
+Parsing Boolean grammars over a one-letter alphabet using online convolution
+Normal rank
@@ Property / cites work @@
+Faster Integer Multiplication
@@ Property / cites work: Faster Integer Multiplication / rank @@
+Normal rank
@@ Property / cites work @@
+The hardest linear conjunctive language
@@ Property / cites work: The hardest linear conjunctive language / rank @@
+Normal rank
@@ Property / cites work @@
+A simple P-complete problem and its language-theoretic representations
+Normal rank
@@ Property / cites work @@
+Q5180413
@@ Property / cites work: Q5180413 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Computational Completeness of Equations over Sets of Natural Numbers
+Normal rank
@@ Property / cites work @@
+Q5390009
@@ Property / cites work: Q5390009 / rank @@
+Normal rank
@@ Property / cites work @@
+Representing hyper-arithmetical sets by equations over sets of integers
+Normal rank
@@ Property / cites work @@
+ON EQUATIONS OVER SETS OF NUMBERS AND THEIR LIMITATIONS
+Normal rank
@@ Property / cites work @@
+On Language Equations XXK = XXL and XM = N over a Unary Alphabet
+Normal rank
@@ Property / cites work @@
+Q4941166
@@ Property / cites work: Q4941166 / rank @@
+Normal rank
@@ Property / cites work @@
+Commutative grammars: The complexity of uniform word problems
+Normal rank
@@ Property / cites work @@
+On the number of nonterminals in linear conjunctive grammars
+Normal rank
@@ Property / cites work @@
+On the expressive power of univariate equations over sets of natural numbers
+Normal rank
@@ Property / cites work @@
+One-nonterminal conjunctive grammars over a unary alphabet
+Normal rank
@@ Property / cites work @@
+On the Number of Nonterminal Symbols in Unambiguous Conjunctive Grammars
+Normal rank
@@ Property / cites work @@
+Q5583856
@@ Property / cites work: Q5583856 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2893311
@@ Property / cites work: Q2893311 / rank @@
+Normal rank
@@ Property / cites work @@
+On the closure properties of linear conjunctive languages.
+Normal rank
@@ Property / cites work @@
+On the equivalence and containment problems for context-free languages
+Normal rank
@@ Property / cites work @@
+Q4085271
@@ Property / cites work: Q4085271 / rank @@
+Normal rank
@@ Property / cites work @@
+A Note on Tape-Bounded Complexity Classes and Linear Context-Free languages
+Normal rank
@@ Property / cites work @@
+Q4284250
@@ Property / cites work: Q4284250 / rank @@
+Normal rank
@@ Property / cites work @@
+Some subclasses of context-free languages in \(NC^ 1\)
+Normal rank
@@ Property / cites work @@
+Q3890112
@@ Property / cites work: Q3890112 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3219133
@@ Property / cites work: Q3219133 / rank @@
+Normal rank
@@ Property / cites work @@
+Unrestricted complementation in language equations over a one-letter alphabet
+Normal rank
@@ Property / cites work @@
+Language equations with complementation: decision problems
+Normal rank
@@ Property / cites work @@
+Language equations with complementation: expressive power
+Normal rank
@@ Property / cites work @@
+Relational queries computable in polynomial time
@@ Property / cites work: Relational queries computable in polynomial time / rank @@
+Normal rank
@@ Property / cites work @@
+Tree adjunct grammars
@@ Property / cites work: Tree adjunct grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Q5628039
@@ Property / cites work: Q5628039 / rank @@
+Normal rank
@@ Property / cites work @@
+Properties of deterministic top-down grammars
@@ Property / cites work: Properties of deterministic top-down grammars / rank @@
+Normal rank
@@ Property / cites work @@
+A further note on top-down deterministic languages
+Normal rank
@@ Property / cites work @@
+Homomorphisms Preserving Deterministic Context-Free Languages
+Normal rank
@@ Property / cites work @@
+Deterministic context free languages
@@ Property / cites work: Deterministic context free languages / rank @@
+Normal rank
@@ Property / cites work @@
+Preservation of unambiguity and inherent ambiguity in context-free languages
+Normal rank
@@ Property / cites work @@
+State Complexity of Operations on Input-Driven Pushdown Automata
+Normal rank
@@ Property / cites work @@
+The Independence of Inherent Ambiguity From Complementedness Among Context-Free Languages
+Normal rank
@@ Property / cites work @@
+BOOLEAN GRAMMARS AND GSM MAPPINGS
@@ Property / cites work: BOOLEAN GRAMMARS AND GSM MAPPINGS / rank @@
+Normal rank
@@ Property / cites work @@
+Operations Which Preserve Definability in Languages
+Normal rank
@@ Property / cites work @@
+The Hardest Context-Free Language
@@ Property / cites work: The Hardest Context-Free Language / rank @@
+Normal rank
@@ Property / cites work @@
+Closure properties of cellular automata
@@ Property / cites work: Closure properties of cellular automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q5192986
@@ Property / cites work: Q5192986 / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive and Boolean grammars: the true general case of the context-free grammars
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+The equivalence problem for deterministic finite-turn pushdown automata
+Normal rank
@@ Property / cites work @@
+Q4266543
@@ Property / cites work: Q4266543 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Equivalence and Containment Problems for Unambiguous Regular Expressions, Regular Grammars and Finite Automata
+Normal rank
@@ Property / cites work @@
+P-hardness of the emptiness problem for visibly pushdown languages
+Normal rank
@@ Property / cites work @@
+A direct algorithm for checking equivalence of LL(k) grammars
+Normal rank
@@ Property / cites work @@
+The inclusion problem for simple languages
@@ Property / cites work: The inclusion problem for simple languages / rank @@
+Normal rank
@@ Property / cites work @@
+\(L(A)=L(B)\)? decidability results from complete formal systems
+Normal rank
@@ Property / cites work @@
+Q3292904
@@ Property / cites work: Q3292904 / rank @@
+Normal rank
@@ Property / cites work @@
+Equations X + A = B and (X + X) + C = (X − X) + D over Sets of Natural Numbers
+Normal rank
@@ Property / cites work @@
+Analytic models and ambiguity of context-free languages
+Normal rank
@@ Property / cites work @@
+Notes on top-down languages
@@ Property / cites work: Notes on top-down languages / rank @@
+Normal rank
@@ Property / cites work @@
+Defining Contexts in Context-Free Grammars
@@ Property / cites work: Defining Contexts in Context-Free Grammars / rank @@
+Normal rank