Property | Value |
dcterms:bibliographicCitation
|
<http://dblp.uni-trier.de/rec/bibtex/conf/gandalf/2021overlay>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Dario_Della_Monica>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Enrico_Scala>
|
dc:creator
|
<https://dblp.l3s.de/d2r/resource/authors/Gian_Luca_Pozzato>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Dario_Della_Monica>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Enrico_Scala>
|
swrc:editor
|
<https://dblp.l3s.de/d2r/resource/authors/Gian_Luca_Pozzato>
|
foaf:homepage
|
<https://ceur-ws.org/Vol-2987>
|
dc:identifier
|
DBLP conf/gandalf/2021overlay
(xsd:string)
|
dcterms:issued
|
2021
(xsd:gYear)
|
rdfs:label
|
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021.
(xsd:string)
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/0001GD21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/AbateAEGP21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/AdrdorK21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/AliG21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/BecchiCZ21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/Boing0NM21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/ConchonDS21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/DunkelauB21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/Esposito21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/EspositoP21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/GeattiGM21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/GianolaMP21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/IvankovicR21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/MazziCF21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/PagliariniSS21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/Pappagallo21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/SalzerS21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/SciaviccoVZ21>
|
is
dcterms:partOf
of
|
<https://dblp.l3s.de/d2r/resource/publications/conf/gandalf/TorreP21>
|
dc:publisher
|
CEUR-WS.org
(xsd:string)
|
owl:sameAs
|
<http://bibsonomy.org/uri/bibtexkey/conf/gandalf/2021overlay/dblp>
|
owl:sameAs
|
<http://dblp.rkbexplorer.com/id/conf/gandalf/2021overlay>
|
rdfs:seeAlso
|
<https://ceur-ws.org/Vol-2987>
|
swrc:series
|
<https://dblp.l3s.de/d2r/resource/conferences/gandalf>
|
dcterms:tableOfContent
|
<http://dblp.uni-trier.de/db/conf/gandalf/overlay2021.html>
|
dc:title
|
Proceedings of the 3rd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis hosted by the Twelfth International Symposium on Games, Automata, Logics, and Formal Verification (GandALF 2021), Padua, Italy, September 22, 2021.
(xsd:string)
|
dc:type
|
<http://purl.org/dc/dcmitype/Collection>
|
rdf:type
|
swrc:Proceedings
|
rdf:type
|
foaf:Document
|
swrc:volume
|
2987
(xsd:string)
|