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ł