Matches in SemOpenAlex for { <https://semopenalex.org/work/W2007431032> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2007431032 endingPage "326" @default.
- W2007431032 startingPage "305" @default.
- W2007431032 abstract "This paper deals with the complexity of context-free grammars with 1-letter terminal alphabet. We study the complexity of the membership problem and the inequivalence problem. We show that the first problem is NP-complete and the second one is ΣP2-complete with respect to log-space reduction. The second result also implies that the inequivalence problem is in Pspace, solving an open problem stated by Hunt, Rosenkrantz and Szymanski (1976)." @default.
- W2007431032 created "2016-06-24" @default.
- W2007431032 creator A5041303665 @default.
- W2007431032 date "1984-01-01" @default.
- W2007431032 modified "2023-09-23" @default.
- W2007431032 title "Deciding the inequivalence of context-free grammars with 1-letter terminal alphabet is ΣP2-complete" @default.
- W2007431032 cites W1982206794 @default.
- W2007431032 cites W2021009590 @default.
- W2007431032 cites W2540966927 @default.
- W2007431032 doi "https://doi.org/10.1016/0304-3975(84)90092-6" @default.
- W2007431032 hasPublicationYear "1984" @default.
- W2007431032 type Work @default.
- W2007431032 sameAs 2007431032 @default.
- W2007431032 citedByCount "22" @default.
- W2007431032 countsByYear W20074310322014 @default.
- W2007431032 countsByYear W20074310322015 @default.
- W2007431032 countsByYear W20074310322016 @default.
- W2007431032 countsByYear W20074310322017 @default.
- W2007431032 countsByYear W20074310322019 @default.
- W2007431032 crossrefType "journal-article" @default.
- W2007431032 hasAuthorship W2007431032A5041303665 @default.
- W2007431032 hasConcept C112876837 @default.
- W2007431032 hasConcept C114614502 @default.
- W2007431032 hasConcept C118615104 @default.
- W2007431032 hasConcept C122749075 @default.
- W2007431032 hasConcept C138885662 @default.
- W2007431032 hasConcept C154945302 @default.
- W2007431032 hasConcept C311688 @default.
- W2007431032 hasConcept C33923547 @default.
- W2007431032 hasConcept C41008148 @default.
- W2007431032 hasConcept C41895202 @default.
- W2007431032 hasConcept C53893814 @default.
- W2007431032 hasConcept C97212296 @default.
- W2007431032 hasConceptScore W2007431032C112876837 @default.
- W2007431032 hasConceptScore W2007431032C114614502 @default.
- W2007431032 hasConceptScore W2007431032C118615104 @default.
- W2007431032 hasConceptScore W2007431032C122749075 @default.
- W2007431032 hasConceptScore W2007431032C138885662 @default.
- W2007431032 hasConceptScore W2007431032C154945302 @default.
- W2007431032 hasConceptScore W2007431032C311688 @default.
- W2007431032 hasConceptScore W2007431032C33923547 @default.
- W2007431032 hasConceptScore W2007431032C41008148 @default.
- W2007431032 hasConceptScore W2007431032C41895202 @default.
- W2007431032 hasConceptScore W2007431032C53893814 @default.
- W2007431032 hasConceptScore W2007431032C97212296 @default.
- W2007431032 hasIssue "2-3" @default.
- W2007431032 hasLocation W20074310321 @default.
- W2007431032 hasOpenAccess W2007431032 @default.
- W2007431032 hasPrimaryLocation W20074310321 @default.
- W2007431032 hasRelatedWork W1594830708 @default.
- W2007431032 hasRelatedWork W1630184508 @default.
- W2007431032 hasRelatedWork W1965255070 @default.
- W2007431032 hasRelatedWork W1972917397 @default.
- W2007431032 hasRelatedWork W1985572667 @default.
- W2007431032 hasRelatedWork W2007431032 @default.
- W2007431032 hasRelatedWork W2054237184 @default.
- W2007431032 hasRelatedWork W2057914679 @default.
- W2007431032 hasRelatedWork W2162593546 @default.
- W2007431032 hasRelatedWork W4299012755 @default.
- W2007431032 hasVolume "33" @default.
- W2007431032 isParatext "false" @default.
- W2007431032 isRetracted "false" @default.
- W2007431032 magId "2007431032" @default.
- W2007431032 workType "article" @default.