- Uniform one-dimensional fragments with one equivalence relation
Opis
- Tytuł: Uniform one-dimensional fragments with one equivalence relation
- Tytuł publikacji grupowej: LIPIcs - Leibniz International Proceedings in Informatics ; 41
- Tytuł pracy zbiorowej: 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
- Twórca: Kieroński, Emanuel ; Kuusisto, Antti
- Strony: S. 597-615
- Opis: Zawiera streszczenie. ; Zawiera bibliografię. ; Zawiera ilustracje.
- Język Abstraktu: eng
- Wydawca: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
- Miejsce wydania: Wadern
- Data wydania: 2015
- Typ: Tekst
- Identyfikator: ISBN 9783939897903 ; https://doi.org/10.4230/LIPIcs.CSL.2015.597
- Język publikacji: eng
- Wersja Cyfrowa: http://dx.doi.org/10.4230/LIPIcs.CSL.2015.597
- Licencja: CC BY
- Szczegółowy typ obiektu: rozdz
- Typ obiektu: Rozdział