Pages that link to "Item:Q3992233"
From MaRDI portal
The following pages link to Rewrite rule systems for modal propositional logic (Q3992233):
Displaying 3 items.
- Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude (Q2945699) (← links)
- A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules (Q2987065) (← links)
- Rewritability in Monadic Disjunctive Datalog, MMSNP, and Expressive Description Logics (Invited Talk). (Q3174890) (← links)