Using logic for the specification of hypermedia documents

MaRDI QIDQ4217780zbMATH OpenFDO

Authors Ernst-Erich Doberkat

Publication date 11 November 1998

zbMATH Keywords

Horn clauseshypermedia description languagehypermedia systemsSmolka's feature logic

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Computing methodologies and applications (68U99)

Recommendations

• A logical query language for hypermedia systems
• scientific article; zbMATH DE number 1444743
• scientific article; zbMATH DE number 1822284
• Stratified Hypermedia Structures for Information Disclosure

Cited in

(4)

• A logical query language for hypermedia systems
• DOM: Specification and Client Reasoning
• scientific article; zbMATH DE number 1822284 (Why is no real title available?)
• Formal specifications for a document management assistant

This page was built for publication: Using logic for the specification of hypermedia documents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4217780)