Matches in SemOpenAlex for { <https://semopenalex.org/work/W2394700975> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2394700975 abstract "Transductions are binary relations of finite words. For rational transductions, i.e., transductions defined by finite transducers, the inclusion, equivalence and sequential uniformisation problems are known to be undecidable. In this paper, we investigate stronger variants of inclusion, equivalence and sequential uniformisation, based on a general notion of transducer resynchronisation, and show their decidability. We also investigate the classes of finite-valued rational transductions and deterministic rational transductions, which are known to have a decidable equivalence problem. We show that sequential uniformisation is also decidable for them." @default.
- W2394700975 created "2016-06-24" @default.
- W2394700975 creator A5021229064 @default.
- W2394700975 creator A5049821685 @default.
- W2394700975 creator A5081438051 @default.
- W2394700975 creator A5086143583 @default.
- W2394700975 date "2016-02-27" @default.
- W2394700975 modified "2023-10-15" @default.
- W2394700975 title "On Equivalence and Uniformisation Problems for Finite Transducers" @default.
- W2394700975 cites W1569390362 @default.
- W2394700975 cites W2003113120 @default.
- W2394700975 hasPublicationYear "2016" @default.
- W2394700975 type Work @default.
- W2394700975 sameAs 2394700975 @default.
- W2394700975 citedByCount "0" @default.
- W2394700975 crossrefType "posted-content" @default.
- W2394700975 hasAuthorship W2394700975A5021229064 @default.
- W2394700975 hasAuthorship W2394700975A5049821685 @default.
- W2394700975 hasAuthorship W2394700975A5081438051 @default.
- W2394700975 hasAuthorship W2394700975A5086143583 @default.
- W2394700975 hasConcept C118615104 @default.
- W2394700975 hasConcept C134306372 @default.
- W2394700975 hasConcept C153269930 @default.
- W2394700975 hasConcept C162392398 @default.
- W2394700975 hasConcept C192034797 @default.
- W2394700975 hasConcept C2780069185 @default.
- W2394700975 hasConcept C33923547 @default.
- W2394700975 hasConceptScore W2394700975C118615104 @default.
- W2394700975 hasConceptScore W2394700975C134306372 @default.
- W2394700975 hasConceptScore W2394700975C153269930 @default.
- W2394700975 hasConceptScore W2394700975C162392398 @default.
- W2394700975 hasConceptScore W2394700975C192034797 @default.
- W2394700975 hasConceptScore W2394700975C2780069185 @default.
- W2394700975 hasConceptScore W2394700975C33923547 @default.
- W2394700975 hasLocation W23947009751 @default.
- W2394700975 hasOpenAccess W2394700975 @default.
- W2394700975 hasPrimaryLocation W23947009751 @default.
- W2394700975 hasRelatedWork W124673061 @default.
- W2394700975 hasRelatedWork W1614820560 @default.
- W2394700975 hasRelatedWork W1854752460 @default.
- W2394700975 hasRelatedWork W2057653105 @default.
- W2394700975 hasRelatedWork W2063209591 @default.
- W2394700975 hasRelatedWork W2156824154 @default.
- W2394700975 hasRelatedWork W2506511039 @default.
- W2394700975 hasRelatedWork W2593915648 @default.
- W2394700975 hasRelatedWork W2602523199 @default.
- W2394700975 hasRelatedWork W2906749731 @default.
- W2394700975 hasRelatedWork W2949160139 @default.
- W2394700975 hasRelatedWork W2950758719 @default.
- W2394700975 hasRelatedWork W2962888479 @default.
- W2394700975 hasRelatedWork W2963249196 @default.
- W2394700975 hasRelatedWork W2963713995 @default.
- W2394700975 hasRelatedWork W2964036194 @default.
- W2394700975 hasRelatedWork W2964662755 @default.
- W2394700975 hasRelatedWork W3023763951 @default.
- W2394700975 hasRelatedWork W3099803027 @default.
- W2394700975 hasRelatedWork W3158913601 @default.
- W2394700975 isParatext "false" @default.
- W2394700975 isRetracted "false" @default.
- W2394700975 magId "2394700975" @default.
- W2394700975 workType "article" @default.