Logic Programming and Parallel Complexity.
Resource URI: https://dblp.l3s.de/d2r/resource/publications/conf/icdt/Kanellakis86
Home
|
Example Publications
Property
Value
dcterms:
bibliographicCitation
<
http://dblp.uni-trier.de/rec/bibtex/conf/icdt/Kanellakis86
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Paris_C._Kanellakis
>
foaf:
homepage
<
http://dx.doi.org/doi.org%2F10.1007%2F3-540-17187-8%5F27
>
foaf:
homepage
<
https://doi.org/10.1007/3-540-17187-8_27
>
dc:
identifier
DBLP conf/icdt/Kanellakis86
(xsd:string)
dc:
identifier
DOI doi.org%2F10.1007%2F3-540-17187-8%5F27
(xsd:string)
dcterms:
issued
1986
(xsd:gYear)
rdfs:
label
Logic Programming and Parallel Complexity.
(xsd:string)
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Paris_C._Kanellakis
>
swrc:
pages
1-30
(xsd:string)
dcterms:
partOf
<
https://dblp.l3s.de/d2r/resource/publications/conf/icdt/86
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/Chandra88
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/Naughton87
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/NaughtonS87
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/SeibL91
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/WolfsonO90
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/WolfsonS88
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/books/aw/HopcroftU79
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/books/cs/Ullman82
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/books/sp/ClocksinM81
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/adbt/Clark77
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/cade/DworkCKS86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/eds/ValduriezB86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/fgcs/Yasuura84
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/focs/AtallahH85
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/focs/Gurevich83
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/focs/GurevichS85
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/focs/MillerR85
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/focs/Pippenger79b
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/focs/Reif85
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/focs/TarjanV84
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/focs/UllmanG86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Kowalski74
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/mfcs/Sazonov80
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/BancilhonMSU86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/CosmadakisK86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/Naughton86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/SaccaZ86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/Sagiv85a
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/popl/AhoU79
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/BancilhonR86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/slp/MaluszynskiK85
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/stoc/ColeV86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/stoc/FortuneW78
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/stoc/Immerman82
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/stoc/Immerman83
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/stoc/KarpUW85
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/stoc/Kozen77
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/stoc/Rougemont84
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/stoc/Vardi82
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/stoc/Vishkin84
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/vldb/Ioannidis85
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/vldb/Ioannidis86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/cacm/Codd70
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/csur/GallaireMN84
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/iandc/Cook85
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/iandc/GurevichL84
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/iandc/HarelK84
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/is/MinkerN83
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jacm/AptE82
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jacm/ChandraKS81
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jacm/DowneyST80
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jacm/EmdenK76
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jacm/HenschenN84
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jacm/Robinson65
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jacm/Schwartz80
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jcss/ChandraH82
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jcss/Cook74
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jcss/Immerman81
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jcss/PatersonW78
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jcss/Ruzzo80
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jcss/Ruzzo81
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jlp/ChandraH85
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jlp/DworkKM84
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/siamcomp/CoppersmithW82
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/siamcomp/ValiantSBR83
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tc/VitterS86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tcs/JonesL76
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tods/Ullman85
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/toplas/MartelliM82
>
owl:
sameAs
<
http://bibsonomy.org/uri/bibtexkey/conf/icdt/Kanellakis86/dblp
>
owl:
sameAs
<
http://dblp.rkbexplorer.com/id/conf/icdt/Kanellakis86
>
rdfs:
seeAlso
<
http://dblp.uni-trier.de/db/conf/icdt/icdt86.html#Kanellakis86
>
rdfs:
seeAlso
<
https://doi.org/10.1007/3-540-17187-8_27
>
swrc:
series
<
https://dblp.l3s.de/d2r/resource/conferences/icdt
>
dc:
title
Logic Programming and Parallel Complexity.
(xsd:string)
dc:
type
<
http://purl.org/dc/dcmitype/Text
>
rdf:
type
swrc:InProceedings
rdf:
type
foaf:Document