scientific article; zbMATH DE number 4164138

zbMATH Open0708.68026MaRDI QIDQ3490950FDOQ3490950

Authors: Annie Foret 

Publication date: 1989

Title of this publication is not available (Why is that?)

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)