scientific article; zbMATH DE number 3628358

zbMath0404.68022MaRDI QIDQ4190106

Nachum Dershowitz, Zohar Manna

Publication date: 1979

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Multiset OrderingsProving Termination

Mathematics Subject Classification ID

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

Related Items

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