- Two-variable logic with counting and a linear order
Opis
- Tytuł: Two-variable logic with counting and a linear order
- 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: Charatonik, Witold ; Witkowski, Piotr
- Strony: S. 631-647
- 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.631
- Język publikacji: eng
- Wersja Cyfrowa: http://dx.doi.org/10.4230/LIPIcs.CSL.2015.631
- Licencja: CC BY
- Szczegółowy typ obiektu: rozdz
- Typ obiektu: Rozdział
