scientific article; zbMATH DE number 3890711

MaRDI QIDQ3347272zbMATH OpenFDO

Authors K. Drosten

Publication date 1984

zbMATH Keywords

algebraic specificationsconditional axiomsoperational semanticspositive Horn clauses

Mathematics Subject Classification ID

Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 3876565
• A proof system for conditional algebraic specifications
• scientific article; zbMATH DE number 4092760
• scientific article; zbMATH DE number 176490
• scientific article; zbMATH DE number 4090780

Cited in

(9)

• Conditional rewrite rules
• Simplifying conditional term rewriting systems: Unification, termination and confluence
• Conditional rewrite rules: Confluence and termination
• Towards Complete Reasoning about Axiomatic Specifications
• scientific article; zbMATH DE number 3876565 (Why is no real title available?)
• scientific article; zbMATH DE number 4085007 (Why is no real title available?)
• scientific article; zbMATH DE number 4092742 (Why is no real title available?)
• scientific article; zbMATH DE number 176490 (Why is no real title available?)
• A proof system for conditional algebraic specifications

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 Q3347272)