scientific article; zbMATH DE number 3628358

zbMATH Open0404.68022MaRDI QIDQ4190106FDOQ4190106

Authors: Nachum Dershowitz, Zohar Manna 

Publication date: 1979

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

zbMATH Keywords

Multiset OrderingsProving Termination

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (8)

• On deciding confluence of finite string-rewriting systems modulo partial commutativity
• Focused proof-search in the logic of bunched implications
• Rewriting modulo isotopies in pivotal linear \((2,2)\)-categories
• A structure to decide reachability in Petri nets
• Semantics of algorithmic languages
• A family of Gödel hybrid logics
• Mechanizable inductive proofs for a class of \(\forall \exists\) formulas
• A rewriting coherence theorem with applications in homotopy type theory

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