[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/journals/jacm/KiferLW95>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Georg_Lausen>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/James_Wu>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Michael_Kifer>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1145%2F210332.210335>
foaf:homepage <https://doi.org/10.1145/210332.210335>
dc:identifier DBLP journals/jacm/KiferLW95 (xsd:string)
dc:identifier DOI doi.org%2F10.1145%2F210332.210335 (xsd:string)
dcterms:issued 1995 (xsd:gYear)
swrc:journal <https://dblp.l3s.de/d2r/resource/journals/jacm>
rdfs:label Logical Foundations of Object-Oriented and Frame-Based Languages. (xsd:string)
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Georg_Lausen>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/James_Wu>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Michael_Kifer>
swrc:number 4 (xsd:string)
swrc:pages 741-843 (xsd:string)
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/books/aw/AbiteboulHV95>
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/adbis/EmbleyLN96>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/adbis/MatskinH95>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/dbpl/Alagic97>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/dbpl/BonnerKC93>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/er/BiskupMPS96>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/er/LiuG98>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/er/MayHLL99>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/icde/FrohnHKLS97>
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/RiedelH96>
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/icdt/BugliesiJ95>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/icdt/BusscheG92>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/icdt/ChenK95>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/pods/BusscheG92>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/pods/BusscheP91>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/pods/Chan92>
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/OhoriT94>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/ride/LudascherMM01>
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/BrodskyK95>
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/CruzALRZ97>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/DavulcuFKR99>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/Jamil99>
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/vldb/FrohnLU94>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/Jamil97>
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/LakshmananSS96>
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/sigmod/FlorescuLM98>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/journals/tkde/BeneventanoBLS98>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/journals/tkde/FenselAS98>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/journals/tods/EiterGM97>
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/journals/jacm/KiferLW95/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/journals/jacm/KiferLW95>
rdfs:seeAlso <http://dblp.uni-trier.de/db/journals/jacm/jacm42.html#KiferLW95>
rdfs:seeAlso <https://doi.org/10.1145/210332.210335>
dc:subject deductive databases, frame-based languages, logic programming, nonmonotonic inheritance, object-oriented programming, proof theory, semantics, typing (xsd:string)
dc:title Logical Foundations of Object-Oriented and Frame-Based Languages. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:Article
rdf:type foaf:Document
swrc:volume 42 (xsd:string)