Rationality of division orderings

DOI10.1016/0020-0190(92)90105-5MaRDI QIDQ1209367zbMATH OpenOpenAlexFDO

Authors David A. Cohen, E. Scott

Publication date 16 May 1993

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(92)90105-5

zbMATH Keywords

automated reasoningautomatic theorem provingprogram correctnessterminationorderings

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Weights for total division orderings on strings
• A note on division orderings on strings
• Scott's conjecture is true, position sensitive weights
• scientific article; zbMATH DE number 29220
• A class of rational relations generalising the subword order

Cites work

• scientific article; zbMATH DE number 1737190 (Why is no real title available?)
• A note on division orderings on strings
• Ordering by Divisibility in Abstract Algebras
• Termination of rewriting

Cited in

(4)

• A theorem on refining division orders by the reverse lexicographic order
• A note on division orderings on strings
• Scott's conjecture is true, position sensitive weights
• Weights for total division orderings on strings

This page was built for publication: Rationality of division orderings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1209367)