- Two-variable logic with counting and a linear order
Description
- Title: Two-variable logic with counting and a linear order
- Group publication title: LIPIcs - Leibniz International Proceedings in Informatics ; 41
- Collective work title: 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
- Creator: Charatonik, Witold ; Witkowski, Piotr
- Pages: S. 631-647
- Description: Zawiera streszczenie. ; Zawiera bibliografię. ; Zawiera ilustracje.
- Language of abstract: eng
- Publisher: Schloss Dagstuhl - Leibniz-Zentrum für Informatik
- Place of publishing: Wadern
- Date issued: 2015
- Type: Tekst
- Identifier: ISBN 9783939897903 ; https://doi.org/10.4230/LIPIcs.CSL.2015.631
- Language: eng
- Has version: http://dx.doi.org/10.4230/LIPIcs.CSL.2015.631
- License: CC BY
- Detailed object type: rozdz
- Object type: Rozdział