✦ LIBER ✦

An effective proof of the well-foundedness of the multiset path ordering

✍ Scribed by Solange Coupet-Grimal; William Delobel

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Proof of the Well-Ordering Theorem.by

✍ Review by: Garrel Pottinger 📂 Article 📅 1971 🏛 Association for Symbolic Logic 🌐 English ⚖ 114 KB

Down the Garden Path: An Effective Kind

✍ Shooshtari, Zohreh G.; Shahri, Somaiyeh 📂 Article 📅 2014 🏛 Elsevier 🌐 English ⚖ 304 KB

An elementary proof of the geometrical d

✍ Hurst, R B; Wells, J-P R; Stedman, G E 📂 Article 📅 2007 🏛 Institute of Physics 🌐 English ⚖ 258 KB

The lateral completion of an arbitrary l

✍ Stephen H. McCleary 📂 Article 📅 1981 🏛 Springer 🌐 English ⚖ 555 KB

The First Three Levels of an Order Prese

✍ Csaba Biró; David M. Howard 📂 Article 📅 2009 🏛 Springer Netherlands 🌐 English ⚖ 273 KB

An Elementary Proof of the Existence of

✍ Muldowney, J. S.; Willett, D. 📂 Article 📅 1974 🏛 Society for Industrial and Applied Mathematics 🌐 English ⚖ 620 KB