Undecidable properties of deterministic top-down tree transducers (Q1341717): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q404009
ReferenceBot (talk | contribs)
Changed an Item
 
(3 intermediate revisions by 3 users not shown)
Property / author
 
Property / author: Zoltán Fülöp / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/0304-3975(94)90241-0 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2003270915 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Composition of top-down and bottom-up tree transductions / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bottom-up and top-down tree transformations— a comparison / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tree transducers, L systems, and two-way machines / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3028362 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4179852 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4035665 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4431392 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Mappings and grammars on trees / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5678435 / rank
 
Normal rank

Latest revision as of 11:14, 23 May 2024

scientific article
Language Label Description Also known as
English
Undecidable properties of deterministic top-down tree transducers
scientific article

    Statements

    Undecidable properties of deterministic top-down tree transducers (English)
    0 references
    9 January 1995
    0 references
    0 references
    top-down tree transducer
    0 references
    term rewriting system
    0 references
    0 references
    0 references