Weighted automata and weighted logics on infinite words
type: Item
instance of: scholarly article
title: Weighted automata and weighted logics on infinite words
zbMATH Open document ID: 1184.68314
DOI: 10.3103/S1066369X10010044
author: Manfred Droste
author: George Rahonis
published in: Russian Mathematics
publication date: 2010-02-05T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5666478
zbMATH Keywords: weighted logics
zbMATH Keywords: weighted Muller automata
zbMATH Keywords: infinitary formal power series
zbMATH Keywords: weighted Büchi automata
MaRDI profile type: Publication
cites work: Q4385530
cites work: Q4326390
cites work: Q3141897
cites work: On the definition of a family of automata
cites work: Q3994777
cites work: Q4155837
cites work: Q2766855
cites work: The design principles of a weighted finite-state transducer library
cites work: Finite Automata Computing Real Functions
cites work: Skew and infinitary formal power series
cites work: ON WEIGHTED BÜCHI AUTOMATA WITH ORDER-COMPLETE WEIGHTS
cites work: Q3431478
cites work: Q3431479
cites work: Fuzzy \(\omega\)-automata
cites work: Fuzzy regular languages over finite and infinite words
cites work: Infinite fuzzy computations
cites work: Weighted automata and weighted logics
cites work: Weak Second‐Order Arithmetic and Finite Automata
cites work: Decision Problems of Finite Automata Design and Related Arithmetics
cites work: Q5287508
cites work: Weighted Automata and Weighted Logics on Infinite Words
cites work: Weighted tree automata and weighted logics
cites work: Weighted Logics for Traces
cites work: On iteration semiring-semimodule pairs.
description: scientific article; zbMATH DE number 5666478