Mathematical Foundations of Computer Science 2004

DOI10.1007/b99679zbMath1096.68108OpenAlexW2488008928MaRDI QIDQ5311135

Igor Potapov, Alexej P. Lisitsa

Publication date: 22 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b99679

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semigroups of transformations, relations, partitions, etc. (20M20) Algebraic theory of languages and automata (68Q70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Semigroups in automata theory, linguistics, etc. (20M35)

Related Items (9)

On the membership of invertible diagonal and scalar matrices ⋮ On the Identity Problem for the Special Linear Group and the Heisenberg Group. ⋮ Vector and scalar reachability problems in \(\operatorname{SL}(2, \mathbb{Z})\) ⋮ On undecidability bounds for matrix decision problems ⋮ Weighted automata on infinite words in the context of attacker-defender games ⋮ Mortality Problem for 2×2 Integer Matrices ⋮ Unnamed Item ⋮ On the mortality problem: from multiplicative matrix equations to linear recurrence sequences and beyond ⋮ On the Mortality Problem: From Multiplicative Matrix Equations to Linear Recurrence Sequences and Beyond

This page was built for publication: Mathematical Foundations of Computer Science 2004