[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/sat/2018pos>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Daniel_Le_Berre>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Matti_J%E2%88%9A%C2%A7rvisalo>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Daniel_Le_Berre>
swrc:editor <https://dblp.l3s.de/d2r/resource/authors/Matti_J%E2%88%9A%C2%A7rvisalo>
foaf:homepage <https://easychair.org/publications/volume/POS-18>
dc:identifier DBLP conf/sat/2018pos (xsd:string)
dcterms:issued 2019 (xsd:gYear)
rdfs:label Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018. (xsd:string)
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/BergHJ18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/BiereF18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/BiereH18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/EhlersN18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/IserS18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/KarpinskiP18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/Leventi-PeetzZL18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/MantheyP18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/NewshamGF18>
is dcterms:partOf of <https://dblp.l3s.de/d2r/resource/publications/conf/sat/Rebola-PardoB18>
dc:publisher EasyChair (xsd:string)
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/sat/2018pos/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/sat/2018pos>
rdfs:seeAlso <https://easychair.org/publications/volume/POS-18>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/sat>
dcterms:tableOfContent <http://dblp.uni-trier.de/db/conf/sat/pos2018.html>
dc:title Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Collection>
rdf:type swrc:Proceedings
rdf:type foaf:Document
swrc:volume 59 (xsd:string)