- Solving word equations (and other unification problems) by recompression
Opis
- Tytuł: Solving word equations (and other unification problems) by recompression
- Tytuł publikacji grupowej: Leibniz International Proceedings in Informatics LIPIcs ; vol. 152
- Tytuł pracy zbiorowej: 28th EACSL Annual Conference on Computer Science Logic
- Twórca: Jeż, Artur
- Strony: S. 3
- Opis: Materials of 28th EACSL Annual Conference on Computer Science Logic, Barcelona, Spain, 13-16.01.2020
- Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
- Miejsce wydania: Wadern
- Data wydania: 2020
- Typ: Tekst
- Identyfikator: ISBN 9783959771320 ; https://doi.org/10.4230/LIPICS.CSL.2020.3
- Język publikacji: eng
- Wersja Cyfrowa: https://doi.org/10.4230/LIPICS.CSL.2020.3
- Licencja: CC BY
- Szczegółowy typ obiektu: rozdz
- Typ obiektu: Rozdział
