𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Measure of Ordinal Consensus

✍ Scribed by Robert K. Leik


Book ID
111681160
Publisher
JSTOR
Year
1966
Weight
298 KB
Volume
9
Category
Article
ISSN
0030-8919

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


An ordinal measure based procedure for t
✍ FranΓ§ois Monin; Marianne Simonot πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 270 KB

This paper describes a method for proving termination of recursively deΓΏned functions based on ordinal measure. It generalizes a termination procedure developed by Manoury and Simonot initially for an automated program synthesis system called ProPre. For that, we associate ordinal functions to forma