Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017253753> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2017253753 abstract "It is shown that the class of relations (functions) definable by Presburger formulas is exactly the class of relations (functions) computable by finite-reversal multicounter machines." @default.
- W2017253753 created "2016-06-24" @default.
- W2017253753 creator A5008300425 @default.
- W2017253753 creator A5074809336 @default.
- W2017253753 date "1979-01-01" @default.
- W2017253753 modified "2023-10-17" @default.
- W2017253753 title "The complexity of the equivalence problem for counter machines, semilinear sets, and simple programs" @default.
- W2017253753 cites W1556844982 @default.
- W2017253753 cites W1655990431 @default.
- W2017253753 cites W1964874178 @default.
- W2017253753 cites W1973458874 @default.
- W2017253753 cites W1978995933 @default.
- W2017253753 cites W2002938245 @default.
- W2017253753 cites W2008770192 @default.
- W2017253753 cites W2011408144 @default.
- W2017253753 cites W2023999667 @default.
- W2017253753 cites W2036265926 @default.
- W2017253753 cites W2068965032 @default.
- W2017253753 cites W2072088733 @default.
- W2017253753 cites W2076858908 @default.
- W2017253753 cites W2134992721 @default.
- W2017253753 cites W2401610261 @default.
- W2017253753 doi "https://doi.org/10.1145/800135.804407" @default.
- W2017253753 hasPublicationYear "1979" @default.
- W2017253753 type Work @default.
- W2017253753 sameAs 2017253753 @default.
- W2017253753 citedByCount "3" @default.
- W2017253753 countsByYear W20172537532014 @default.
- W2017253753 crossrefType "proceedings-article" @default.
- W2017253753 hasAuthorship W2017253753A5008300425 @default.
- W2017253753 hasAuthorship W2017253753A5074809336 @default.
- W2017253753 hasBestOaLocation W20172537531 @default.
- W2017253753 hasConcept C111472728 @default.
- W2017253753 hasConcept C11413529 @default.
- W2017253753 hasConcept C118615104 @default.
- W2017253753 hasConcept C136119220 @default.
- W2017253753 hasConcept C138885662 @default.
- W2017253753 hasConcept C179799912 @default.
- W2017253753 hasConcept C202444582 @default.
- W2017253753 hasConcept C2780069185 @default.
- W2017253753 hasConcept C2780586882 @default.
- W2017253753 hasConcept C33923547 @default.
- W2017253753 hasConcept C41008148 @default.
- W2017253753 hasConcept C80444323 @default.
- W2017253753 hasConceptScore W2017253753C111472728 @default.
- W2017253753 hasConceptScore W2017253753C11413529 @default.
- W2017253753 hasConceptScore W2017253753C118615104 @default.
- W2017253753 hasConceptScore W2017253753C136119220 @default.
- W2017253753 hasConceptScore W2017253753C138885662 @default.
- W2017253753 hasConceptScore W2017253753C179799912 @default.
- W2017253753 hasConceptScore W2017253753C202444582 @default.
- W2017253753 hasConceptScore W2017253753C2780069185 @default.
- W2017253753 hasConceptScore W2017253753C2780586882 @default.
- W2017253753 hasConceptScore W2017253753C33923547 @default.
- W2017253753 hasConceptScore W2017253753C41008148 @default.
- W2017253753 hasConceptScore W2017253753C80444323 @default.
- W2017253753 hasLocation W20172537531 @default.
- W2017253753 hasOpenAccess W2017253753 @default.
- W2017253753 hasPrimaryLocation W20172537531 @default.
- W2017253753 hasRelatedWork W1034061887 @default.
- W2017253753 hasRelatedWork W1887191277 @default.
- W2017253753 hasRelatedWork W2018206907 @default.
- W2017253753 hasRelatedWork W2018619927 @default.
- W2017253753 hasRelatedWork W2054072800 @default.
- W2017253753 hasRelatedWork W2334954212 @default.
- W2017253753 hasRelatedWork W2964285269 @default.
- W2017253753 hasRelatedWork W4235288607 @default.
- W2017253753 hasRelatedWork W4238075012 @default.
- W2017253753 hasRelatedWork W4248699163 @default.
- W2017253753 isParatext "false" @default.
- W2017253753 isRetracted "false" @default.
- W2017253753 magId "2017253753" @default.
- W2017253753 workType "article" @default.