Matches in SemOpenAlex for { <https://semopenalex.org/work/W4300362218> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W4300362218 abstract "We prove that language equivalence of deterministic one-counter automata is NL-complete. This improves the superpolynomial time complexity upper bound shown by Valiant and Paterson in 1975. Our main contribution is to prove that two deterministic one-counter automata are inequivalent if and only if they can be distinguished by a word of length polynomial in the size of the two input automata." @default.
- W4300362218 created "2022-10-03" @default.
- W4300362218 creator A5056318238 @default.
- W4300362218 creator A5071248070 @default.
- W4300362218 creator A5079767975 @default.
- W4300362218 date "2013-01-10" @default.
- W4300362218 modified "2023-09-28" @default.
- W4300362218 title "Equivalence of Deterministic One-Counter Automata is NL-complete" @default.
- W4300362218 doi "https://doi.org/10.48550/arxiv.1301.2181" @default.
- W4300362218 hasPublicationYear "2013" @default.
- W4300362218 type Work @default.
- W4300362218 citedByCount "0" @default.
- W4300362218 crossrefType "posted-content" @default.
- W4300362218 hasAuthorship W4300362218A5056318238 @default.
- W4300362218 hasAuthorship W4300362218A5071248070 @default.
- W4300362218 hasAuthorship W4300362218A5079767975 @default.
- W4300362218 hasBestOaLocation W43003622181 @default.
- W4300362218 hasConcept C104091681 @default.
- W4300362218 hasConcept C112505250 @default.
- W4300362218 hasConcept C114614502 @default.
- W4300362218 hasConcept C116248031 @default.
- W4300362218 hasConcept C118615104 @default.
- W4300362218 hasConcept C134306372 @default.
- W4300362218 hasConcept C174327141 @default.
- W4300362218 hasConcept C2524010 @default.
- W4300362218 hasConcept C2780069185 @default.
- W4300362218 hasConcept C311688 @default.
- W4300362218 hasConcept C33923547 @default.
- W4300362218 hasConcept C41008148 @default.
- W4300362218 hasConcept C52370388 @default.
- W4300362218 hasConcept C65753522 @default.
- W4300362218 hasConcept C77553402 @default.
- W4300362218 hasConcept C80444323 @default.
- W4300362218 hasConcept C90119067 @default.
- W4300362218 hasConcept C90805587 @default.
- W4300362218 hasConcept C92117001 @default.
- W4300362218 hasConceptScore W4300362218C104091681 @default.
- W4300362218 hasConceptScore W4300362218C112505250 @default.
- W4300362218 hasConceptScore W4300362218C114614502 @default.
- W4300362218 hasConceptScore W4300362218C116248031 @default.
- W4300362218 hasConceptScore W4300362218C118615104 @default.
- W4300362218 hasConceptScore W4300362218C134306372 @default.
- W4300362218 hasConceptScore W4300362218C174327141 @default.
- W4300362218 hasConceptScore W4300362218C2524010 @default.
- W4300362218 hasConceptScore W4300362218C2780069185 @default.
- W4300362218 hasConceptScore W4300362218C311688 @default.
- W4300362218 hasConceptScore W4300362218C33923547 @default.
- W4300362218 hasConceptScore W4300362218C41008148 @default.
- W4300362218 hasConceptScore W4300362218C52370388 @default.
- W4300362218 hasConceptScore W4300362218C65753522 @default.
- W4300362218 hasConceptScore W4300362218C77553402 @default.
- W4300362218 hasConceptScore W4300362218C80444323 @default.
- W4300362218 hasConceptScore W4300362218C90119067 @default.
- W4300362218 hasConceptScore W4300362218C90805587 @default.
- W4300362218 hasConceptScore W4300362218C92117001 @default.
- W4300362218 hasLocation W43003622181 @default.
- W4300362218 hasLocation W43003622182 @default.
- W4300362218 hasOpenAccess W4300362218 @default.
- W4300362218 hasPrimaryLocation W43003622181 @default.
- W4300362218 hasRelatedWork W1529714626 @default.
- W4300362218 hasRelatedWork W1991034910 @default.
- W4300362218 hasRelatedWork W2066278264 @default.
- W4300362218 hasRelatedWork W2130826964 @default.
- W4300362218 hasRelatedWork W2160879187 @default.
- W4300362218 hasRelatedWork W2798896350 @default.
- W4300362218 hasRelatedWork W2913798541 @default.
- W4300362218 hasRelatedWork W2950539409 @default.
- W4300362218 hasRelatedWork W3046613010 @default.
- W4300362218 hasRelatedWork W3143588635 @default.
- W4300362218 isParatext "false" @default.
- W4300362218 isRetracted "false" @default.
- W4300362218 workType "article" @default.