scientific article; zbMATH DE number 5854945

MaRDI QIDQ3077193zbMATH OpenFDO

Authors Eleni Mandrali, George Rahonis

Publication date 22 February 2011

zbMATH Keywords

discountingrational operations on tree seriessemiringsweighted MSO-logic over finite and infinite treesweighted Muller tree automataweighted tree automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Some remarks on recognizable treeseries
• scientific article; zbMATH DE number 708666
• Learning deterministically recognizable tree series
• A Medvedev characterization of recognizable tree series
• scientific article; zbMATH DE number 2040902
• Varieties of recognizable tree series over fields
• Myhill-Nerode Theorem for Recognizable Tree Series Revisited
• A note on cut-worthiness of recognizable tree series
• Learning Deterministically Recognizable Tree Series — Revisited
• scientific article; zbMATH DE number 2211801

Cited in

(13)

• Positive tree representations and applications to tree automata
• Weighted automata
• A logic-based approach to incremental reasoning on multi-agent systems
• A Kleene theorem for weighted tree automata over tree valuation monoids
• A link between multioperator and tree valuation automata and logics
• On weighted first-order logics with discounting
• Weighted LTL with discounting
• Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics
• Equational weighted tree transformations with discounting
• Weighted Automata and Weighted Logics with Discounting
• Approximation in description logics: how weighted tree automata can help to define the required concept comparison measures in \(\mathcal {FL}_0\)
• Weighted automata and weighted logics with discounting
• Weighted automata with discounting

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3077193)