Matches in SemOpenAlex for { <https://semopenalex.org/work/W1999013503> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1999013503 endingPage "63" @default.
- W1999013503 startingPage "56" @default.
- W1999013503 abstract "We solve a problem already investigated by Mohri in 1997: we show that the twins property for weighted finite automata over the tropical semiring is decidable and PSPACE-complete. We also point out that it is undecidable whether two given states are twins." @default.
- W1999013503 created "2016-06-24" @default.
- W1999013503 creator A5057431769 @default.
- W1999013503 date "2012-02-01" @default.
- W1999013503 modified "2023-09-27" @default.
- W1999013503 title "Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring" @default.
- W1999013503 cites W1629199664 @default.
- W1999013503 cites W1969587526 @default.
- W1999013503 cites W1990800590 @default.
- W1999013503 cites W1993033486 @default.
- W1999013503 cites W2000587532 @default.
- W1999013503 cites W2037367360 @default.
- W1999013503 cites W2057747677 @default.
- W1999013503 cites W2095067686 @default.
- W1999013503 cites W2096207507 @default.
- W1999013503 cites W2151259840 @default.
- W1999013503 cites W2160168402 @default.
- W1999013503 cites W4241175920 @default.
- W1999013503 doi "https://doi.org/10.1016/j.tcs.2011.11.006" @default.
- W1999013503 hasPublicationYear "2012" @default.
- W1999013503 type Work @default.
- W1999013503 sameAs 1999013503 @default.
- W1999013503 citedByCount "11" @default.
- W1999013503 countsByYear W19990135032012 @default.
- W1999013503 countsByYear W19990135032013 @default.
- W1999013503 countsByYear W19990135032014 @default.
- W1999013503 countsByYear W19990135032015 @default.
- W1999013503 countsByYear W19990135032017 @default.
- W1999013503 countsByYear W19990135032021 @default.
- W1999013503 countsByYear W19990135032023 @default.
- W1999013503 crossrefType "journal-article" @default.
- W1999013503 hasAuthorship W1999013503A5057431769 @default.
- W1999013503 hasBestOaLocation W19990135031 @default.
- W1999013503 hasConcept C111472728 @default.
- W1999013503 hasConcept C112505250 @default.
- W1999013503 hasConcept C11413529 @default.
- W1999013503 hasConcept C114614502 @default.
- W1999013503 hasConcept C118615104 @default.
- W1999013503 hasConcept C134306372 @default.
- W1999013503 hasConcept C138885662 @default.
- W1999013503 hasConcept C153269930 @default.
- W1999013503 hasConcept C17231256 @default.
- W1999013503 hasConcept C179799912 @default.
- W1999013503 hasConcept C189950617 @default.
- W1999013503 hasConcept C192034797 @default.
- W1999013503 hasConcept C197685441 @default.
- W1999013503 hasConcept C21696900 @default.
- W1999013503 hasConcept C33923547 @default.
- W1999013503 hasConcept C41008148 @default.
- W1999013503 hasConcept C80444323 @default.
- W1999013503 hasConceptScore W1999013503C111472728 @default.
- W1999013503 hasConceptScore W1999013503C112505250 @default.
- W1999013503 hasConceptScore W1999013503C11413529 @default.
- W1999013503 hasConceptScore W1999013503C114614502 @default.
- W1999013503 hasConceptScore W1999013503C118615104 @default.
- W1999013503 hasConceptScore W1999013503C134306372 @default.
- W1999013503 hasConceptScore W1999013503C138885662 @default.
- W1999013503 hasConceptScore W1999013503C153269930 @default.
- W1999013503 hasConceptScore W1999013503C17231256 @default.
- W1999013503 hasConceptScore W1999013503C179799912 @default.
- W1999013503 hasConceptScore W1999013503C189950617 @default.
- W1999013503 hasConceptScore W1999013503C192034797 @default.
- W1999013503 hasConceptScore W1999013503C197685441 @default.
- W1999013503 hasConceptScore W1999013503C21696900 @default.
- W1999013503 hasConceptScore W1999013503C33923547 @default.
- W1999013503 hasConceptScore W1999013503C41008148 @default.
- W1999013503 hasConceptScore W1999013503C80444323 @default.
- W1999013503 hasLocation W19990135031 @default.
- W1999013503 hasOpenAccess W1999013503 @default.
- W1999013503 hasPrimaryLocation W19990135031 @default.
- W1999013503 hasRelatedWork W1990497675 @default.
- W1999013503 hasRelatedWork W1994076373 @default.
- W1999013503 hasRelatedWork W2066032119 @default.
- W1999013503 hasRelatedWork W2889319207 @default.
- W1999013503 hasRelatedWork W2963736240 @default.
- W1999013503 hasRelatedWork W2964047030 @default.
- W1999013503 hasRelatedWork W3005725954 @default.
- W1999013503 hasRelatedWork W3099018049 @default.
- W1999013503 hasRelatedWork W4384344723 @default.
- W1999013503 hasRelatedWork W871449085 @default.
- W1999013503 hasVolume "420" @default.
- W1999013503 isParatext "false" @default.
- W1999013503 isRetracted "false" @default.
- W1999013503 magId "1999013503" @default.
- W1999013503 workType "article" @default.