✦ LIBER ✦

Coq formalization of the higher-order recursive path ordering

✍ Scribed by Adam Koprowski

Publisher: Springer
Year: 2009
Tongue: English
Weight: 531 KB
Volume: 20
Category: Article
ISSN: 0938-1279
DOI: 10.1007/s00200-009-0105-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the complexity of recursive path orde

On the complexity of recursive path orderings

✍ Wayne Snyder 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 564 KB

A geometrical version of the higher orde

A geometrical version of the higher order Hamilton formalism in fibred manifolds

✍ Ivan Kolář 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 497 KB

It has been clarified recently that an r-th order Lagrangian on a fibred manifold Y X does not determine a unique Poincaré-Carran fonn provided dimX> 1 and r>2, [1], [4], [6], [9], [10]. To make this fact more transparent, we introduced a new operation generalizing the formal exterior differentiatio

The recursive structure of some ordering

The recursive structure of some ordering problems

✍ M. D. Atkinson 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 451 KB

Tests for the order of integration again

Tests for the order of integration against higher order integration

✍ Dong Wan Shin; Man-Suk Oh 📂 Article 📅 2003 🏛 Springer-Verlag 🌐 English ⚖ 826 KB

The tangent bundle of higher order

✍ Esrafilian Ebrahim; Nadjafikhah Mhehdi 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 262 KB

The higher order moment approach of fluc

The higher order moment approach of fluctuations

✍ S. Dumitru 📂 Article 📅 1972 🏛 Elsevier Science 🌐 English ⚖ 110 KB