Matches in SemOpenAlex for { <https://semopenalex.org/work/W2113298191> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2113298191 endingPage "439" @default.
- W2113298191 startingPage "428" @default.
- W2113298191 abstract "We introduce top-down deterministic transducers with rational lookahead (transducer for short) working on infinite terms. We show that for such a transducer T, there exists an MSO-transduction T such that for any graph G, unfold(T(G)) = T(unfold(G)). Reciprocally, we show that if an MSO-transduction T “preserves bisimilarity”, then there is a transducer T such that for any graph G, unfold(T(G)) = T(unfold(G)). According to this, transducers can be seen as a complete method of implementation of MSO-transductions that preserve bisimilarity. One application is for transformations of equational systems." @default.
- W2113298191 created "2016-06-24" @default.
- W2113298191 creator A5003426815 @default.
- W2113298191 creator A5021229064 @default.
- W2113298191 date "2004-01-01" @default.
- W2113298191 modified "2023-09-25" @default.
- W2113298191 title "On the Expressiveness of Deterministic Transducers over Infinite Trees" @default.
- W2113298191 cites W1503624973 @default.
- W2113298191 cites W1518696294 @default.
- W2113298191 cites W1553720870 @default.
- W2113298191 cites W1585989904 @default.
- W2113298191 cites W1608320983 @default.
- W2113298191 cites W1784420053 @default.
- W2113298191 cites W1816620374 @default.
- W2113298191 cites W1988343205 @default.
- W2113298191 cites W2020520119 @default.
- W2113298191 cites W2067464091 @default.
- W2113298191 cites W2094403718 @default.
- W2113298191 cites W2125344445 @default.
- W2113298191 cites W2160005349 @default.
- W2113298191 doi "https://doi.org/10.1007/978-3-540-24749-4_38" @default.
- W2113298191 hasPublicationYear "2004" @default.
- W2113298191 type Work @default.
- W2113298191 sameAs 2113298191 @default.
- W2113298191 citedByCount "2" @default.
- W2113298191 crossrefType "book-chapter" @default.
- W2113298191 hasAuthorship W2113298191A5003426815 @default.
- W2113298191 hasAuthorship W2113298191A5021229064 @default.
- W2113298191 hasBestOaLocation W21132981912 @default.
- W2113298191 hasConcept C11413529 @default.
- W2113298191 hasConcept C121332964 @default.
- W2113298191 hasConcept C132525143 @default.
- W2113298191 hasConcept C15152581 @default.
- W2113298191 hasConcept C185592680 @default.
- W2113298191 hasConcept C24890656 @default.
- W2113298191 hasConcept C41008148 @default.
- W2113298191 hasConcept C55493867 @default.
- W2113298191 hasConcept C56318395 @default.
- W2113298191 hasConcept C80444323 @default.
- W2113298191 hasConceptScore W2113298191C11413529 @default.
- W2113298191 hasConceptScore W2113298191C121332964 @default.
- W2113298191 hasConceptScore W2113298191C132525143 @default.
- W2113298191 hasConceptScore W2113298191C15152581 @default.
- W2113298191 hasConceptScore W2113298191C185592680 @default.
- W2113298191 hasConceptScore W2113298191C24890656 @default.
- W2113298191 hasConceptScore W2113298191C41008148 @default.
- W2113298191 hasConceptScore W2113298191C55493867 @default.
- W2113298191 hasConceptScore W2113298191C56318395 @default.
- W2113298191 hasConceptScore W2113298191C80444323 @default.
- W2113298191 hasLocation W21132981911 @default.
- W2113298191 hasLocation W21132981912 @default.
- W2113298191 hasOpenAccess W2113298191 @default.
- W2113298191 hasPrimaryLocation W21132981911 @default.
- W2113298191 hasRelatedWork W13082435 @default.
- W2113298191 hasRelatedWork W169718621 @default.
- W2113298191 hasRelatedWork W1801993675 @default.
- W2113298191 hasRelatedWork W2013714680 @default.
- W2113298191 hasRelatedWork W2057623054 @default.
- W2113298191 hasRelatedWork W2149286198 @default.
- W2113298191 hasRelatedWork W2371447506 @default.
- W2113298191 hasRelatedWork W2386767533 @default.
- W2113298191 hasRelatedWork W2748952813 @default.
- W2113298191 hasRelatedWork W38902447 @default.
- W2113298191 isParatext "false" @default.
- W2113298191 isRetracted "false" @default.
- W2113298191 magId "2113298191" @default.
- W2113298191 workType "book-chapter" @default.