F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme.
Resource URI: https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/KiferL89
Home
|
Example Publications
Property
Value
dcterms:
bibliographicCitation
<
http://dblp.uni-trier.de/rec/bibtex/conf/sigmod/KiferL89
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Georg_Lausen
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Michael_Kifer
>
foaf:
homepage
<
http://dx.doi.org/doi.org%2F10.1145%2F67544.66939
>
foaf:
homepage
<
https://doi.org/10.1145/67544.66939
>
dc:
identifier
DBLP conf/sigmod/KiferL89
(xsd:string)
dc:
identifier
DOI doi.org%2F10.1145%2F67544.66939
(xsd:string)
dcterms:
issued
1989
(xsd:gYear)
rdfs:
label
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme.
(xsd:string)
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Georg_Lausen
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Michael_Kifer
>
swrc:
pages
134-146
(xsd:string)
dcterms:
partOf
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/89
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/adbis/BiskupMP95
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/dasfaa/Caseau91
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/dbpl/CaseauP91
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/dbpl/ChenKW89
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/dbpl/LacroixDB97
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/dbpl/Naqvi89
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/er/ChudziakRV93
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/er/Sciore91
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/er/TroyerM95
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/er/YePS94
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/icde/BalkirSOO96
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/icde/DavidsonK97
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/icde/GardarinV92
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/icde/HeuerS91
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/icde/Liu92
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/icde/PapakonstantinouGU96
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/icde/QianR95
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/icdt/Abiteboul97
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/icdt/AbiteboulCM97
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/mfdbs/HeuerS91
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/mfdbs/WieringaM91
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/Beeri92
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/ChangH95
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/GyssensPG90
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/HullY91
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/KiferW89
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/Kim90
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/AbiteboulLUW93
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/BressanGFJHKLMPQSS97
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/BunemanDHS96
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/Cruz92
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/KiferKS92
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/LaenensSV90
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/LouO91
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/MeseguerQ93
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/VadapartyAO93
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/vldb/BarjaPFWD94
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/vldb/KramerLS92
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/vldb/SrivastavaRSS93
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/vldb/VassalosP97
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/journals/debu/Kifer91
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/journals/tkde/BattistaL93
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/journals/tkde/Bertino97
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/journals/tkde/GrecoLR92
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/journals/tkde/KesimS96
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/journals/tkde/LeoneRMR97
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/journals/tkde/WongT96
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/journals/tods/FormicaGM98
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/journals/tods/Jagadish95
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/journals/tods/KuperV93
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/journals/vldb/DesslochHMMT98
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/journals/vldb/KamelWS94
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/books/sp/Lloyd87
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/aaai/EtheringtonR83
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/dbpl/AbiteboulG87
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/icdt/LecluseR88
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/ijcai/TouretzkyHT87
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/jcdkb/BeeriNT88
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/oopsla/KhoshafianC86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/oopsla/MaierSOP86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/Bancilhon88
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/BancilhonK86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/BeeriNRST87
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/ChenW89
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/KiferW89
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/pods/KuperV84
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/LecluseRV88
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/MaierW81
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/slp/ChenKW89
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/vldb/KrishnamurthyN88
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/cacm/Codd70
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/cacm/FikesK85
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/iandc/Cardelli88
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jlp/Ait-KaciN86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jsc/SmolkaA89
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/sigmod/BernsteinDDGGJLLMNRRSSSS89
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tcs/BunemanJO91
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tois/Motro86
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/vldb/AbiteboulB95
>
owl:
sameAs
<
http://bibsonomy.org/uri/bibtexkey/conf/sigmod/KiferL89/dblp
>
owl:
sameAs
<
http://dblp.rkbexplorer.com/id/conf/sigmod/KiferL89
>
rdfs:
seeAlso
<
http://dblp.uni-trier.de/db/conf/sigmod/sigmod89.html#KiferL89
>
rdfs:
seeAlso
<
https://doi.org/10.1145/67544.66939
>
swrc:
series
<
https://dblp.l3s.de/d2r/resource/conferences/sigmod
>
dc:
title
F-Logic: A Higher-Order language for Reasoning about Objects, Inheritance, and Scheme.
(xsd:string)
dc:
type
<
http://purl.org/dc/dcmitype/Text
>
rdf:
type
swrc:InProceedings
rdf:
type
foaf:Document