Functional Database Query Languages as Typed Lambda Calculi of Fixed Order.
Resource URI: https://dblp.l3s.de/d2r/resource/publications/conf/pods/HillebrandK94
Home
|
Example Publications
Property
Value
dcterms:
bibliographicCitation
<
http://dblp.uni-trier.de/rec/bibtex/conf/pods/HillebrandK94
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Gerd_G._Hillebrand
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Paris_C._Kanellakis
>
foaf:
homepage
<
http://dx.doi.org/doi.org%2F10.1145%2F182591.182615
>
foaf:
homepage
<
https://doi.org/10.1145/182591.182615
>
dc:
identifier
DBLP conf/pods/HillebrandK94
(xsd:string)
dc:
identifier
DOI doi.org%2F10.1145%2F182591.182615
(xsd:string)
dcterms:
issued
1994
(xsd:gYear)
rdfs:
label
Functional Database Query Languages as Typed Lambda Calculi of Fixed Order.
(xsd:string)
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Gerd_G._Hillebrand
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Paris_C._Kanellakis
>
swrc:
pages
222-231
(xsd:string)
dcterms:
partOf
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/94
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/icdt/AbiteboulH95
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/BeeriMT96
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/Tannen94
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/journals/csur/AbiteboulKMSV96
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/caap/KfouryTU90
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/dbpl/TannenBN91
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/focs/Gurevich83
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/icalp/TannenS91
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/icdt/TannenBW92
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/lics/HillebrandKM93
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/lics/KfouryTU87
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/nf2/AbiteboulBGG87
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/ImmermanPS91
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/Wong93
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/stoc/AbiteboulV91
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/stoc/BellantoniC92
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/stoc/Vardi82
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/fuin/LeivantM93
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/iandc/Immerman86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jacm/FortuneLO83
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jcss/AbiteboulV91
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jcss/ChandraH80
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jcss/ChandraH82
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jcss/HullS91
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jcss/KolaitisP91
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jcss/Milner78
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jlp/ChandraH85
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/siamcomp/Immerman87
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/sigact/AbiteboulK90
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tcs/KuperV93
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tcs/Mairson92
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tcs/Statman79a
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tods/BunemanFN82
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/vldb/AbiteboulB95
>
owl:
sameAs
<
http://bibsonomy.org/uri/bibtexkey/conf/pods/HillebrandK94/dblp
>
owl:
sameAs
<
http://dblp.rkbexplorer.com/id/conf/pods/HillebrandK94
>
rdfs:
seeAlso
<
http://dblp.uni-trier.de/db/conf/pods/pods94.html#HillebrandK94
>
rdfs:
seeAlso
<
https://doi.org/10.1145/182591.182615
>
swrc:
series
<
https://dblp.l3s.de/d2r/resource/conferences/pods
>
dc:
title
Functional Database Query Languages as Typed Lambda Calculi of Fixed Order.
(xsd:string)
dc:
type
<
http://purl.org/dc/dcmitype/Text
>
rdf:
type
swrc:InProceedings
rdf:
type
foaf:Document