scientific article; zbMATH DE number 1339970
From MaRDI portal
Publication:4265634
zbMath0935.68060MaRDI QIDQ4265634
Publication date: 22 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (16)
Some decision problems concerning semilinearity and commutation. ⋮ Integer weighted automata on infinite words ⋮ Undecidability of the equivalence of finite substitutions on regular language ⋮ A finite model construction for coalgebraic modal logic ⋮ Digital Image Compression ⋮ Weighted Automata on Infinite Words in the Context of Attacker-Defender Games ⋮ Decidability Boundaries for the Finite-Image Property of Weighted Finite Automata ⋮ Integer Weighted Automata on Infinite Words ⋮ On Generalizations of Weighted Finite Automata and Graphics Applications ⋮ Expressivity of coalgebraic modal logic: the limits and beyond ⋮ Undecidability in matrices over Laurent polynomials. ⋮ Weighted automata on infinite words in the context of attacker-defender games ⋮ On decision problems for parameterized machines ⋮ On the universe, disjointness, and containment problems for simple machines ⋮ Reachability problems in low-dimensional nondeterministic polynomial maps over integers ⋮ Finite transducers and rational transductions
This page was built for publication:
