scientific article; zbMATH DE number 1735900

MaRDI QIDQ4329261zbMATH OpenFDO

Authors Barry Dwyer

Publication date 29 April 2002

zbMATH Keywords

binary relation algebra

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic programming (68N17)

Recommendations

• Relation algebra as programming language using the Ampersand compiler
• scientific article; zbMATH DE number 1303447
• scientific article; zbMATH DE number 3874661
• An Environment for Specifying Properties of Dyadic Relations and Reasoning About Them II: Relational Presentation of Non-classical Logics
• scientific article; zbMATH DE number 2063843

Cited in

(5)

• Relational transducers for electronic commerce
• Relation algebra as programming language using the Ampersand compiler
• Invertible bidirectional metalogical translation between Prolog and RuleML for knowledge representation and querying
• scientific article; zbMATH DE number 1303447 (Why is no real title available?)
• Mathematics of Program Construction

This page was built for publication:

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