A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings (Q6137852): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Regular Functions and Cost Register Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Max and Sum Semantics for Alternating Weighted Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: On equations for regular languages, finite automata, and sequential networks / rank
 
Normal rank
Property / cites work
 
Property / cites work: Quantitative Languages / rank
 
Normal rank
Property / cites work
 
Property / cites work: Alternating Weighted Automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Alternation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weighted Automata and Logics on Graphs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weighted automata and weighted logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weighted Automata and Weighted Logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Nivat Theorem for Quantitative Automata on Unranked Trees / rank
 
Normal rank
Property / cites work
 
Property / cites work: Handbook of weighted automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Alternating automata on infinite trees / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weighted tree automata and weighted logics / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weighted logics for unranked tree automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Weighted Tree Automata and Tree Transducers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Alternating weighted automata over commutative semirings / rank
 
Normal rank
Property / cites work
 
Property / cites work: Transductions des langages de Chomsky / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the definition of a family of automata / rank
 
Normal rank
Property / cites work
 
Property / cites work: Sequences of Level 1, 2, 3,..., k,... / rank
 
Normal rank

Latest revision as of 10:22, 23 August 2024

scientific article; zbMATH DE number 7788999
Language Label Description Also known as
English
A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings
scientific article; zbMATH DE number 7788999

    Statements

    A Nivat Theorem for Weighted Alternating Automata over Commutative Semirings (English)
    0 references
    0 references
    16 January 2024
    0 references
    automata theory
    0 references
    weighted automata
    0 references
    alternating automata
    0 references
    weighted logics
    0 references
    tree automata
    0 references

    Identifiers