- Uniform one-dimensional fragments with one equivalence relation
Description
- Title: Uniform one-dimensional fragments with one equivalence relation
- Group publication title: LIPIcs - Leibniz International Proceedings in Informatics ; 41
- Collective work title: 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
- Creator: Kieroński, Emanuel ; Kuusisto, Antti
- Pages: S. 597-615
- 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.597
- Language: eng
- Has version: http://dx.doi.org/10.4230/LIPIcs.CSL.2015.597
- License: CC BY
- Detailed object type: rozdz
- Object type: Rozdział