Satisfiability of word equations with constants is in PSPACE

Dane publikacji
  
Typ publikacjiPublikacja w czasopi¶mie
Rodzaj publikacjiArtykuł
Tytuł publikacjiSatisfiability of word equations with constants is in PSPACE
Adres internetowy
Tytuł czasopismaJOURNAL OF THE ACM
Mediumpublikacja drukowana
Tom51
Zeszyt3
Rok wydania2004
Od strony483
Do strony496
Numer publikacji
Język publikacjiAngielski
Język etniczny badanej kultury
Zasięgmiędzynarodowy
Rok sprawozdawczy2004

Lista autorów
  
 1. Wojciech Plandowski, Zakład Analizy Algorytmów [Współautor]