Rationality of division orderings

DOI10.1016/0020-0190(92)90105-5zbMath0764.68150OpenAlexW1973489768MaRDI QIDQ1209367

Elizabeth A. Scott, David A. Cohen

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 reasoningorderingsterminationautomatic theorem provingprogram correctness

Mathematics Subject Classification ID

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

Related Items

Weights for total division orderings on strings

Cites Work

• Unnamed Item
• A note on division orderings on strings
• Termination of rewriting
• Ordering by Divisibility in Abstract Algebras