Alphabetical satisfiability problem for trace equations

TitleAlphabetical satisfiability problem for trace equations
Publication TypeArticles in international peer reviewed journals
AuthorsBreveglieri L, Cherubini A, Nuccio C, Rodaro E
[2009-5]

Area / Group: 

Semigroups, Automata and Languages