scientific article; zbMATH DE number 4164138

MaRDI QIDQ3490950zbMATH OpenFDO

Authors Annie Foret

Publication date 1989

zbMATH Keywords

confluenceterminationpropositional modal logicsrewrite rule systems

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Grammars and rewriting systems (68Q42) Thue and Post systems, etc. (03D03)

Cited in

(2)

• Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude
• A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules

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