Matches in SemOpenAlex for { <https://semopenalex.org/work/W2056445915> ?p ?o ?g. }
- W2056445915 endingPage "50" @default.
- W2056445915 startingPage "1" @default.
- W2056445915 abstract "Two well-known formalisms for the specification and computation of tree transductions are compared: the mso graph transducer and the attributed tree transducer with look-ahead, respectively. The mso graph transducer, restricted to trees, uses monadic second order logic to define the output tree in terms of the input tree. The attributed tree transducer is an attribute grammar in which all attributes are trees; it is preceded by a look-ahead phase in which all attributes have finitely many values. The main result is that these formalisms are equivalent, i.e., that the attributed tree transducer with look-ahead is an appropriate implementation model for the tree transductions that are specifiable in mso logic. This result holds for mso graph transducers that produce trees with shared subtrees. If no sharing is allowed, the attributed tree transducer satisfies the single use restriction." @default.
- W2056445915 created "2016-06-24" @default.
- W2056445915 creator A5053520475 @default.
- W2056445915 creator A5065721598 @default.
- W2056445915 date "2000-08-01" @default.
- W2056445915 modified "2023-09-30" @default.
- W2056445915 title "A Comparison of Tree Transductions Defined by Monadic Second Order Logic and by Attribute Grammars" @default.
- W2056445915 cites W1594107946 @default.
- W2056445915 cites W1964071625 @default.
- W2056445915 cites W1965240571 @default.
- W2056445915 cites W1968022708 @default.
- W2056445915 cites W1970456124 @default.
- W2056445915 cites W1980992394 @default.
- W2056445915 cites W1983682288 @default.
- W2056445915 cites W1987709131 @default.
- W2056445915 cites W1988343205 @default.
- W2056445915 cites W1993698725 @default.
- W2056445915 cites W1994887153 @default.
- W2056445915 cites W2000677048 @default.
- W2056445915 cites W2013967419 @default.
- W2056445915 cites W2015076118 @default.
- W2056445915 cites W2019469504 @default.
- W2056445915 cites W2028357390 @default.
- W2056445915 cites W2035020702 @default.
- W2056445915 cites W2041988689 @default.
- W2056445915 cites W2050407768 @default.
- W2056445915 cites W2050418442 @default.
- W2056445915 cites W2063063505 @default.
- W2056445915 cites W2064796716 @default.
- W2056445915 cites W2073663206 @default.
- W2056445915 cites W2074048601 @default.
- W2056445915 cites W2086959507 @default.
- W2056445915 cites W2087945397 @default.
- W2056445915 cites W2128517960 @default.
- W2056445915 cites W2912166712 @default.
- W2056445915 cites W4205178514 @default.
- W2056445915 cites W4210277633 @default.
- W2056445915 cites W4212959352 @default.
- W2056445915 doi "https://doi.org/10.1006/jcss.1999.1684" @default.
- W2056445915 hasPublicationYear "2000" @default.
- W2056445915 type Work @default.
- W2056445915 sameAs 2056445915 @default.
- W2056445915 citedByCount "69" @default.
- W2056445915 countsByYear W20564459152012 @default.
- W2056445915 countsByYear W20564459152013 @default.
- W2056445915 countsByYear W20564459152014 @default.
- W2056445915 countsByYear W20564459152015 @default.
- W2056445915 countsByYear W20564459152016 @default.
- W2056445915 countsByYear W20564459152017 @default.
- W2056445915 countsByYear W20564459152018 @default.
- W2056445915 countsByYear W20564459152019 @default.
- W2056445915 countsByYear W20564459152020 @default.
- W2056445915 countsByYear W20564459152021 @default.
- W2056445915 countsByYear W20564459152023 @default.
- W2056445915 crossrefType "journal-article" @default.
- W2056445915 hasAuthorship W2056445915A5053520475 @default.
- W2056445915 hasAuthorship W2056445915A5065721598 @default.
- W2056445915 hasBestOaLocation W20564459151 @default.
- W2056445915 hasConcept C102993220 @default.
- W2056445915 hasConcept C112505250 @default.
- W2056445915 hasConcept C113174947 @default.
- W2056445915 hasConcept C11413529 @default.
- W2056445915 hasConcept C114614502 @default.
- W2056445915 hasConcept C121332964 @default.
- W2056445915 hasConcept C124656256 @default.
- W2056445915 hasConcept C132525143 @default.
- W2056445915 hasConcept C140745168 @default.
- W2056445915 hasConcept C169896238 @default.
- W2056445915 hasConcept C171018156 @default.
- W2056445915 hasConcept C2524010 @default.
- W2056445915 hasConcept C2778583254 @default.
- W2056445915 hasConcept C33923547 @default.
- W2056445915 hasConcept C41008148 @default.
- W2056445915 hasConcept C56318395 @default.
- W2056445915 hasConcept C62520636 @default.
- W2056445915 hasConcept C80444323 @default.
- W2056445915 hasConceptScore W2056445915C102993220 @default.
- W2056445915 hasConceptScore W2056445915C112505250 @default.
- W2056445915 hasConceptScore W2056445915C113174947 @default.
- W2056445915 hasConceptScore W2056445915C11413529 @default.
- W2056445915 hasConceptScore W2056445915C114614502 @default.
- W2056445915 hasConceptScore W2056445915C121332964 @default.
- W2056445915 hasConceptScore W2056445915C124656256 @default.
- W2056445915 hasConceptScore W2056445915C132525143 @default.
- W2056445915 hasConceptScore W2056445915C140745168 @default.
- W2056445915 hasConceptScore W2056445915C169896238 @default.
- W2056445915 hasConceptScore W2056445915C171018156 @default.
- W2056445915 hasConceptScore W2056445915C2524010 @default.
- W2056445915 hasConceptScore W2056445915C2778583254 @default.
- W2056445915 hasConceptScore W2056445915C33923547 @default.
- W2056445915 hasConceptScore W2056445915C41008148 @default.
- W2056445915 hasConceptScore W2056445915C56318395 @default.
- W2056445915 hasConceptScore W2056445915C62520636 @default.
- W2056445915 hasConceptScore W2056445915C80444323 @default.
- W2056445915 hasIssue "1" @default.
- W2056445915 hasLocation W20564459151 @default.
- W2056445915 hasOpenAccess W2056445915 @default.
- W2056445915 hasPrimaryLocation W20564459151 @default.