Publication:3410186
From MaRDI portal
zbMath1111.68057MaRDI QIDQ3410186
Publication date: 23 November 2006
68Q45: Formal languages and automata
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
Decidability, undecidability, and PSPACE-completeness of the twins property in the tropical semiring