Satisfiability of word equations with constants is in PSPACE
Dane publikacji
Typ publikacji
Publikacja w czasopi¶mie
Rodzaj publikacji
Artykuł
Tytuł publikacji
Satisfiability of word equations with constants is in PSPACE
Adres internetowy
Tytuł czasopisma
JOURNAL OF THE ACM
Medium
publikacja drukowana
Tom
51
Zeszyt
3
Rok wydania
2004
Od strony
483
Do strony
496
Numer publikacji
Język publikacji
Angielski
Język etniczny badanej kultury
Zasięg
międzynarodowy
Rok sprawozdawczy
2004
Lista autorów
1.
Wojciech Plandowski
,
Zakład Analizy Algorytmów
[
Współautor
]