Pages that link to "Item:Q594584"

The following pages link to On Goedel speed-up and succinctness of language representations (Q594584):

Displaying 10 items.

• Extended regular expressions: succinctness and decidability (Q372977) (← links)
• Expressiveness and static analysis of extended conjunctive regular path queries (Q389234) (← links)
• Complexity of multi-head finite automata: origins and directions (Q616495) (← links)
• New formally undecidable propositions: Non-trivial lower bounds on proof complexity and related theorems (Q804570) (← links)
• Document spanners: from expressive power to decision problems (Q1650917) (← links)
• The chop of languages (Q2358686) (← links)
• On the Descriptional Complexity of the Window Size for Deterministic Restarting Automata (Q2914714) (← links)
• On reducing the number of stack symbols in a PDA (Q3141998) (← links)
• Concise representations of regular languages by degree and probabilistic finite automata (Q3142004) (← links)
• Program Size Complexity of Correction Grammars in the Ershov Hierarchy (Q3188262) (← links)