Rationality of division orderings

DOI10.1016/0020-0190(92)90105-5zbMATH Open0764.68150OpenAlexW1973489768MaRDI QIDQ1209367FDOQ1209367

E. 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

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

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)

Cites Work

• Title not available (Why is that?)
• Termination of rewriting
• Ordering by Divisibility in Abstract Algebras
• A note on division orderings on strings

Cited In (3)

• A theorem on refining division orders by the reverse lexicographic order
• Weights for total division orderings on strings
• A note on 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)