Equality and disequality constraints on direct subterms in tree automata (Q5096779): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: author (P16): Item:Q462480
Property / author
 
Property / author: Sophie Tison / rank
Normal rank
 

Revision as of 09:10, 15 February 2024

scientific article; zbMATH DE number 7573028
Language Label Description Also known as
English
Equality and disequality constraints on direct subterms in tree automata
scientific article; zbMATH DE number 7573028

    Statements

    Equality and disequality constraints on direct subterms in tree automata (English)
    0 references
    0 references
    0 references
    18 August 2022
    0 references
    tree automata
    0 references
    nonlinearity
    0 references

    Identifiers