Extending two-variable logic on data trees with order on data values and its automata (Q5410335): Difference between revisions

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Created claim: Wikidata QID (P12): Q130860774, #quickstatements; #temporary_batch_1733060858965
 
Property / Wikidata QID
 
Property / Wikidata QID: Q130860774 / rank
 
Normal rank

Latest revision as of 14:49, 1 December 2024

scientific article; zbMATH DE number 6285714
Language Label Description Also known as
English
Extending two-variable logic on data trees with order on data values and its automata
scientific article; zbMATH DE number 6285714

    Statements

    Extending two-variable logic on data trees with order on data values and its automata (English)
    0 references
    0 references
    16 April 2014
    0 references
    finite-state automata
    0 references
    data trees
    0 references
    ordered data values
    0 references
    two-variable logic
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references