Matches in SemOpenAlex for { <https://semopenalex.org/work/W3099018049> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W3099018049 endingPage "709" @default.
- W3099018049 startingPage "689" @default.
- W3099018049 abstract "We consider one of the weakest variants of cost register automata over a tropical semiring, namely copyless cost register automata over [Formula: see text] with updates using [Formula: see text] and increments. We show that this model can simulate, in some sense, the runs of counter machines with zero-tests. We deduce that a number of problems pertaining to that model are undecidable, namely equivalence, upperboundedness, and semilinearity. In particular, the undecidability of equivalence disproves a conjecture of Alur et al. from 2012. To emphasize how weak these machines are, we also show that they can be expressed as a restricted form of linearly-ambiguous weighted automata." @default.
- W3099018049 created "2020-11-23" @default.
- W3099018049 creator A5004165473 @default.
- W3099018049 creator A5021154671 @default.
- W3099018049 creator A5053423392 @default.
- W3099018049 creator A5064763023 @default.
- W3099018049 date "2020-09-01" @default.
- W3099018049 modified "2023-09-23" @default.
- W3099018049 title "Weak Cost Register Automata are Still Powerful" @default.
- W3099018049 cites W2061970672 @default.
- W3099018049 cites W2072102045 @default.
- W3099018049 cites W2081396910 @default.
- W3099018049 cites W2101508170 @default.
- W3099018049 cites W2163125260 @default.
- W3099018049 cites W2165854715 @default.
- W3099018049 doi "https://doi.org/10.1142/s0129054120410026" @default.
- W3099018049 hasPublicationYear "2020" @default.
- W3099018049 type Work @default.
- W3099018049 sameAs 3099018049 @default.
- W3099018049 citedByCount "1" @default.
- W3099018049 countsByYear W30990180492022 @default.
- W3099018049 crossrefType "journal-article" @default.
- W3099018049 hasAuthorship W3099018049A5004165473 @default.
- W3099018049 hasAuthorship W3099018049A5021154671 @default.
- W3099018049 hasAuthorship W3099018049A5053423392 @default.
- W3099018049 hasAuthorship W3099018049A5064763023 @default.
- W3099018049 hasBestOaLocation W30990180492 @default.
- W3099018049 hasConcept C112505250 @default.
- W3099018049 hasConcept C114614502 @default.
- W3099018049 hasConcept C118615104 @default.
- W3099018049 hasConcept C138885662 @default.
- W3099018049 hasConcept C153269930 @default.
- W3099018049 hasConcept C192034797 @default.
- W3099018049 hasConcept C21696900 @default.
- W3099018049 hasConcept C2779235478 @default.
- W3099018049 hasConcept C2780069185 @default.
- W3099018049 hasConcept C2780990831 @default.
- W3099018049 hasConcept C33923547 @default.
- W3099018049 hasConcept C41008148 @default.
- W3099018049 hasConcept C41895202 @default.
- W3099018049 hasConcept C80444323 @default.
- W3099018049 hasConceptScore W3099018049C112505250 @default.
- W3099018049 hasConceptScore W3099018049C114614502 @default.
- W3099018049 hasConceptScore W3099018049C118615104 @default.
- W3099018049 hasConceptScore W3099018049C138885662 @default.
- W3099018049 hasConceptScore W3099018049C153269930 @default.
- W3099018049 hasConceptScore W3099018049C192034797 @default.
- W3099018049 hasConceptScore W3099018049C21696900 @default.
- W3099018049 hasConceptScore W3099018049C2779235478 @default.
- W3099018049 hasConceptScore W3099018049C2780069185 @default.
- W3099018049 hasConceptScore W3099018049C2780990831 @default.
- W3099018049 hasConceptScore W3099018049C33923547 @default.
- W3099018049 hasConceptScore W3099018049C41008148 @default.
- W3099018049 hasConceptScore W3099018049C41895202 @default.
- W3099018049 hasConceptScore W3099018049C80444323 @default.
- W3099018049 hasFunder F4320320883 @default.
- W3099018049 hasIssue "06" @default.
- W3099018049 hasLocation W30990180491 @default.
- W3099018049 hasLocation W30990180492 @default.
- W3099018049 hasLocation W30990180493 @default.
- W3099018049 hasLocation W30990180494 @default.
- W3099018049 hasLocation W30990180495 @default.
- W3099018049 hasOpenAccess W3099018049 @default.
- W3099018049 hasPrimaryLocation W30990180491 @default.
- W3099018049 hasRelatedWork W1999013503 @default.
- W3099018049 hasRelatedWork W2083034957 @default.
- W3099018049 hasRelatedWork W2793321508 @default.
- W3099018049 hasRelatedWork W2797111428 @default.
- W3099018049 hasRelatedWork W2883160679 @default.
- W3099018049 hasRelatedWork W2963588373 @default.
- W3099018049 hasRelatedWork W3099018049 @default.
- W3099018049 hasRelatedWork W3099743106 @default.
- W3099018049 hasRelatedWork W4298364586 @default.
- W3099018049 hasRelatedWork W871449085 @default.
- W3099018049 hasVolume "31" @default.
- W3099018049 isParatext "false" @default.
- W3099018049 isRetracted "false" @default.
- W3099018049 magId "3099018049" @default.
- W3099018049 workType "article" @default.