scientific article
From MaRDI portal
Publication:3077193
zbMath1224.68048MaRDI QIDQ3077193
Eleni Mandrali, George Rahonis
Publication date: 22 February 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
discountingsemiringsweighted tree automatarational operations on tree seriesweighted MSO-logic over finite and infinite treesweighted Muller tree automata
Related Items (8)
On weighted first-order logics with discounting ⋮ Approximation in Description Logics: How Weighted Tree Automata Can Help to Define the Required Concept Comparison Measures in $$\mathcal {FL}_0$$ ⋮ A Kleene theorem for weighted tree automata over tree valuation monoids ⋮ Weighted Tree Automata over Valuation Monoids and Their Characterization by Weighted Logics ⋮ Equational Weighted Tree Transformations with Discounting ⋮ Weighted automata ⋮ A logic-based approach to incremental reasoning on multi-agent systems ⋮ A link between multioperator and tree valuation automata and logics
This page was built for publication:
