Property | Value |
dcterms:bibliographicCitation
|
<http://dblp.uni-trier.de/rec/bibtex/conf/csl/2020>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Anca_Muscholl>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Maribel_Fern%E2%88%9A%C2%B0ndez>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Anca_Muscholl>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Maribel_Fern%E2%88%9A%C2%B0ndez>
|
foaf:homepage
|
<http://www.dagstuhl.de/dagpub/978-3-95977-132-0>
|
dc:identifier
|
DBLP conf/csl/2020
(xsd:string)
|
dc:identifier
|
ISBN 978-3-95977-132-0
(xsd:string)
|
swrc:isbn
|
ISBN 978-3-95977-132-0
(xsd:string)
|
dcterms:issued
|
2020
(xsd:gYear)
|
rdfs:label
|
28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain.
(xsd:string)
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/AcclavioM20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Adamek20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/AngluinAF20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/BarloyFLM20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/BielousK20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Brunet20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Buss0K20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Cavallo020>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/CavalloMS20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/ChenF20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/ChouquetT20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/CockettCGLMPP20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/CockettLL20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Cortier20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Dawar20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/DemriLM20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/FerrereHK20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/GanardiK20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Gradel020>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/GrangeS20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/GuerrieriPF20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/HoelzelW20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Jez20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/KesnerBV20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/KupkeR20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/LodingT20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/LyonTGC20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Mascle020>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Miquey20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/MoermanR20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Parys20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Passmann20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/PaulyS020>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Santo20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/SchmidtSVZK20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Tzameret20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/VortmeierZ20>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/X20>
|
dc:publisher
|
Schloss Dagstuhl - Leibniz-Zentrum f√ľr Informatik
(xsd:string)
|
owl:sameAs
|
<http://bibsonomy.org/uri/bibtexkey/conf/csl/2020/dblp>
|
owl:sameAs
|
<http://dblp.rkbexplorer.com/id/conf/csl/2020>
|
owl:sameAs
|
<urn:isbn:978-3-95977-132-0>
|
rdfs:seeAlso
|
<http://amazon.com/s/ref=nb_ss_gw?field-keywords=978-3-95977-132-0>
|
rdfs:seeAlso
|
<http://www.dagstuhl.de/dagpub/978-3-95977-132-0>
|
swrc:series
|
<https://dblp.l3s.de/d2r/resource/conferences/csl>
|
dcterms:tableOfContent
|
<http://dblp.uni-trier.de/db/conf/csl/csl2020.html>
|
dc:title
|
28th EACSL Annual Conference on Computer Science Logic, CSL 2020, January 13-16, 2020, Barcelona, Spain.
(xsd:string)
|
dc:type
|
<http://purl.org/dc/dcmitype/Collection>
|
rdf:type
|
swrc:Proceedings
|
rdf:type
|
foaf:Document
|
swrc:volume
|
152
(xsd:string)
|