Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Computer Science Logic 2017
Stockholm University, Faculty of Humanities, Department of Philosophy.ORCID iD: 0000-0002-0157-1644
2017 (English)Conference proceedings (editor) (Refereed)
Abstract [en]

Computer Science Logic (CSL) is the annual conference of the European Association for Computer Science Logic (EACSL). It is an interdisciplinary conference, spanning across both basic and application oriented research in mathematical logic and computer science. CSL started as a series of international workshops on Computer Science Logic, and became at its sixth meeting the Annual Conference of the EACSL.

The 26th annual EACSL conference Computer Science Logic (CSL 2017) was held in Stockholm from August 20 to August 24, 2017. CSL 2017 was organised jointly by members of the Departments of Philosophy and of Mathematics and Stockholm University, and of the Department of Theoretical Computer Science at KTH Royal Institute of Technology.

Place, publisher, year, edition, pages
Saarbrücken/Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing , 2017.
Series
LIPIcs, ISSN 1868-8969 ; 82
Keywords [en]
logic, computer science
National Category
Computer Sciences
Research subject
Computer Science
Identifiers
URN: urn:nbn:se:su:diva-152851ISBN: 978-3-95977-045-3 (print)OAI: oai:DiVA.org:su-152851DiVA, id: diva2:1181535
Conference
26th EACSL Annual Conference on Computer Science Logic, CSL 2017, August 20–24, 2017, Stockholm, Sweden
Funder
Swedish Research Council, 2017-00510Available from: 2018-02-08 Created: 2018-02-08 Last updated: 2018-03-14Bibliographically approved

Open Access in DiVA

Proceedings of CSL 2017(22413 kB)6 downloads
File information
File name FULLTEXT01.pdfFile size 22413 kBChecksum SHA-512
0f7b50f36cf722e2e49933ef1cb7950f842b09e229e15c99545dbfa2c09a870dfb8760de45095e74177761c51293f232411d24b07faa678a3baf0144b7270863
Type fulltextMimetype application/pdf

Other links

Free full text

Search in DiVA

By author/editor
Goranko, ValentinDam, Mads
By organisation
Department of Philosophy
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar
Total: 6 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 31 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf