Property | Value |
dcterms:bibliographicCitation
|
<http://dblp.uni-trier.de/rec/bibtex/conf/csl/2012>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Arnaud_Durand_0001>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Patrick_C%E2%88%9A%C2%A9gielski>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Arnaud_Durand_0001>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Patrick_C%E2%88%9A%C2%A9gielski>
|
foaf:homepage
|
<http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=12009>
|
dc:identifier
|
DBLP conf/csl/2012
(xsd:string)
|
dc:identifier
|
ISBN 978-3-939897-42-2
(xsd:string)
|
swrc:isbn
|
ISBN 978-3-939897-42-2
(xsd:string)
|
dcterms:issued
|
2012
(xsd:gYear)
|
rdfs:label
|
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France
(xsd:string)
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Abiteboul12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/AltenkirchR12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Aschieri12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Atkey12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/BaillotL12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Berardid12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/BertrandFS12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/BirkedalST12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/BodirskyW12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Brault-Baron12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/CarraroS12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/CegielskiD12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/ChatterjeeCK12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/ChaudhuriHM12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/ChrzaszczS12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Cook12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/CoquandDN12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/DawarGHKP12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/DeYoungCPT12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/DudderMRU12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Ehrhard12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/GradelL12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/GrandjeanO12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/GroheO12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/HetzlS12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Hida12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/JouannaudL12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/KaiserL12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/KellerL12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/KieronskiM12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/KotekM12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/KufleitnerW12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Kuroda12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Kuske12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/KuusistoMV12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/LeitschRP12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Lynce12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Makowsky12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Parys12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Rabinovich12>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/csl/Wu12>
|
dc:publisher
|
Schloss Dagstuhl - Leibniz-Zentrum f√ľr Informatik
(xsd:string)
|
owl:sameAs
|
<http://bibsonomy.org/uri/bibtexkey/conf/csl/2012/dblp>
|
owl:sameAs
|
<http://dblp.rkbexplorer.com/id/conf/csl/2012>
|
owl:sameAs
|
<urn:isbn:978-3-939897-42-2>
|
rdfs:seeAlso
|
<http://amazon.com/s/ref=nb_ss_gw?field-keywords=978-3-939897-42-2>
|
rdfs:seeAlso
|
<http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=12009>
|
swrc:series
|
<https://dblp.l3s.de/d2r/resource/conferences/csl>
|
dcterms:tableOfContent
|
<http://dblp.uni-trier.de/db/conf/csl/csl2012.html>
|
dc:title
|
Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France
(xsd:string)
|
dc:type
|
<http://purl.org/dc/dcmitype/Collection>
|
rdf:type
|
swrc:Proceedings
|
rdf:type
|
foaf:Document
|
swrc:volume
|
16
(xsd:string)
|