- Recompression : a simple and powerful technique for word equations
Opis
- Tytuł: Recompression : a simple and powerful technique for word equations
- Tytuł publikacji grupowej: LIPIcs - Leibniz International Proceedings in Informatics ; Vol.20
- Tytuł pracy zbiorowej: 30th International Symposium on Theoretical Aspects of Computer Science (STACS 2013)
- Twórca: Jeż, Artur
- Strony: S. 233-244
- Opis: Zawiera streszczenie. ; Zawiera bibliografię. ; Przy nazwisku Artur Jeż podwójna afiliacja: Uniwersytet Wrocławski i Instytut Informatyki im. Maxa Plancka, Germany.
- Język Abstraktu: eng
- Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
- Miejsce wydania: Wadern
- Data wydania: 2013
- Typ: Tekst
- Identyfikator: ISBN 9783939897507 ; https://doi.org/10.4230/LIPIcs.STACS.2013.233
- Język publikacji: eng
- Wersja Cyfrowa: http://dx.doi.org/10.4230/LIPIcs.STACS.2013.233
- Licencja: CC BY
- Szczegółowy typ obiektu: rozdz
- Typ obiektu: Rozdział