𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A Consistent Higher-Order Theory Without a (Higher-Order) Model

✍ Scribed by Thomas Forster

Publisher
John Wiley and Sons
Year
1989
Tongue
English
Weight
96 KB
Volume
35
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A HIGHER ORDER THEORY FOR STATIC–DYNAMIC
A HIGHER ORDER THEORY FOR STATIC–DYNAMIC ANALYSIS OF LAMINATED PLATES USING A WARPING MODEL
✍ H. HASSIS πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 264 KB

A higher order theory is developed to model the behaviour of laminated plates. This theory is based on a warping theory of plate deformation developed by Hassis [1]. Through comparison with elasticity solutions obtained with classical models [2}6] and the higher order theory of Lo et al. [7,8], it i

On a higher-order bounded discretization
On a higher-order bounded discretization scheme
✍ B. Song; G. R. Liu; K. Y. Lam; R. S. Amano πŸ“‚ Article πŸ“… 2000 πŸ› John Wiley and Sons 🌐 English βš– 288 KB

This paper presents a new higher-order bounded scheme, weighted-average coefficient ensuring boundedness (WACEB), for approximating the convective fluxes in solving transport equations with the finite volume difference method (FVDM). The weighted-average formulation is used for interpolating the var

A Higher-order Interpretation of Deducti
A Higher-order Interpretation of Deductive Tableau
✍ Abdelwaheb Ayari; David Basin πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 325 KB

The Deductive Tableau of Manna and Waldinger is a formal system with an associated methodology for synthesizing functional programs by existence proofs in classical first-order theories. We reinterpret the formal system in a setting that is higher-order in two respects: higher-order logic is used to