Pages that link to "Item:Q2820703"
From MaRDI portal
The following pages link to On the Formalization of Some Results of Context-Free Language Theory (Q2820703):
Displaying 9 items.
- A mechanisation of some context-free language theory in HOL4 (Q386032) (← links)
- On an extension of the class of context-free languages (Q1276509) (← links)
- Some applications of the formalization of the pumping lemma for context-free languages (Q2333674) (← links)
- The conjecture of Fliess on commutative context-free languages (Q3476286) (← links)
- (Q4227128) (← links)
- (Q4474010) (← links)
- The Chomsky-Schützenberger Theorem for Quantitative Context-Free Languages (Q5300841) (← links)
- DNA Computing (Q5494352) (← links)
- Pumping, with or without choice (Q6536320) (← links)