𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Complete sets of unifiers and matchers in equational theories

✍ Scribed by François Fages; Gérard Huet

Publisher
Elsevier Science
Year
1986
Tongue
English
Weight
735 KB
Volume
43
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A unified theory of particulate flows in
A unified theory of particulate flows in geomorphic settings
✍ W. E. H. Culling 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 846 KB

Particle aggregates can be regarded as a fourth state of matter which with differing energy levels can display behaviour associated with the other three. This provides the basis for a unified theory of particulate flow in the land scape, ranging from the solid-like soil creep, through plastic flows

Unified complete solutions for the theor
Unified complete solutions for the theories of thermoelasticity and poroelasticity
✍ D. S. Chandrasekharaiah; S. C. Cowin 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 199 KB

Complete solutions for the basic system of equations governing linear elastic materials with pores are extended to complete solutions for the basic system of equations for thermoelasticity and poroelasticity.