Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Greibach's_theorem> ?p ?o. }
Showing items 1 to 11 of
11
with 100 items per page.
- Greibach's_theorem abstract "In theoretical computer science, in particular in formal language theory, Greibach's theorem states that certain properties of formal language classes are undecidable. It is named after the computer scientist Sheila Greibach, who first proved it in 1963.".
- Greibach's_theorem wikiPageID "42138836".
- Greibach's_theorem wikiPageRevisionID "600262516".
- Greibach's_theorem subject Category:Formal_languages.
- Greibach's_theorem comment "In theoretical computer science, in particular in formal language theory, Greibach's theorem states that certain properties of formal language classes are undecidable. It is named after the computer scientist Sheila Greibach, who first proved it in 1963.".
- Greibach's_theorem label "Greibach's theorem".
- Greibach's_theorem sameAs m.0_xbrv6.
- Greibach's_theorem sameAs Q17019301.
- Greibach's_theorem sameAs Q17019301.
- Greibach's_theorem wasDerivedFrom Greibach's_theorem?oldid=600262516.
- Greibach's_theorem isPrimaryTopicOf Greibach's_theorem.