Property | Value |
dcterms:bibliographicCitation
|
<http://dblp.uni-trier.de/rec/bibtex/conf/lics/2013>
|
foaf:homepage
|
<https://ieeexplore.ieee.org/xpl/conhome/6570844/proceeding>
|
dc:identifier
|
DBLP conf/lics/2013
(xsd:string)
|
dc:identifier
|
ISBN 978-1-4799-0413-6
(xsd:string)
|
swrc:isbn
|
ISBN 978-1-4799-0413-6
(xsd:string)
|
dcterms:issued
|
2013
(xsd:gYear)
|
rdfs:label
|
28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013
(xsd:string)
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Accattoli13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/AlurDDRY13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/AlurDT13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/AndersonDH13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/AspertiL13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/BalbianiHT13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/BenediktGKM13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/BenerecettiMM13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/BirkedalM13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/BojanczykKLT13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/BolligKM13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/BoralS13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/BrazdilCFK13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/CharatonikW13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/ChaudhuriSV13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Colcombet13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Comon-Lundh13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/CristescuKV13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/DagandM13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/DemriFP13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/EickmeyerKK13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/FacchiniMS13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/FacchiniVZ13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/FereeHG13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/FiliotGRS13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/FioreH13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Fontaine13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/FredrikssonG13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/GhaniMFS13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/GogaczM13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/GoncharovS13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/GundersenHP13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Hales13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Halpern13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/HeimbergKS13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/HirschkoffMS13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/HoffmannMS13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/HofmanMT13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/HunterOW13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Jacobs13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/JungR13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Kobayashi13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/KozenLMP13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/KreutzerR13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Lahav13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/LairdMMP13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Leroux13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/LerouxPS13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/LiangM13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/LicataS13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Lynch13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/MogaveroMS13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/MontanariS13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/NainV13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Otto13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Panangaden13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Pattinson13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Riba13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/RosuSCM13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Sacchini13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Staton13>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/lics/Vicary13>
|
dc:publisher
|
IEEE Computer Society
(xsd:string)
|
owl:sameAs
|
<http://bibsonomy.org/uri/bibtexkey/conf/lics/2013/dblp>
|
owl:sameAs
|
<http://dblp.rkbexplorer.com/id/conf/lics/2013>
|
owl:sameAs
|
<urn:isbn:978-1-4799-0413-6>
|
rdfs:seeAlso
|
<http://amazon.com/s/ref=nb_ss_gw?field-keywords=978-1-4799-0413-6>
|
rdfs:seeAlso
|
<https://ieeexplore.ieee.org/xpl/conhome/6570844/proceeding>
|
swrc:series
|
<https://dblp.l3s.de/d2r/resource/conferences/lics>
|
dcterms:tableOfContent
|
<http://dblp.uni-trier.de/db/conf/lics/lics2013.html>
|
dc:title
|
28th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2013, New Orleans, LA, USA, June 25-28, 2013
(xsd:string)
|
dc:type
|
<http://purl.org/dc/dcmitype/Collection>
|
rdf:type
|
swrc:Proceedings
|
rdf:type
|
foaf:Document
|