✦ LIBER ✦

Completeness of a cut-free calculus with equality and function constants

✍ Scribed by Takano, Mitio

Publisher: Springer-Verlag
Year: 1985
Weight: 174 KB
Volume: 25
Category: Article
ISSN: 0003-9268
DOI: 10.1007/bf02007554

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cut-Rule Axiomatization of Product-Free

Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String

✍ Wojciech Zielonka 📂 Article 📅 1988 🏛 John Wiley and Sons 🌐 English ⚖ 452 KB

On a class of functions with equal infim

On a class of functions with equal infima over a domain and its boundary

✍ O. Naselli 📂 Article 📅 1996 🏛 Springer 🌐 English ⚖ 319 KB

Interaction of a free stream and a flow

Interaction of a free stream and a flow from a point source with dissimilar Bernoulli constants

✍ N.B. Il’inskii; D.V. Maklakov; R.F. Mardanov 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 198 KB

A method for solving problems when flows with dissimilar Bernoulli constants interact is proposed. The method is used to investegate the problem of a steady plane-parallel flow of an ideal incompressible fluid around a point source from which a fluid, with a density and overall pressure, differing f

Evaluation of Jacobson's constant and in

Evaluation of Jacobson's constant and intermolecular free-length as a function of pressure and temperature for cryogenic liquids

✍ J.D. Pandey; V. Kumar; M.C. Saxena 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 538 KB

Free Fisher Information¶with Respect to

Free Fisher Information¶with Respect to a Completely Positive Map¶and Cost of Equivalence Relations

✍ Dimitri Shlyakhtenko 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 159 KB

Activity of a Growth Hill, Generated by

Activity of a Growth Hill, Generated by Two Crossed Screw Dislocations with Equal Burgers' Vectors at Constant Supersaturation and Temperature

✍ A. Z. Bikov; V. Ya. Nedkov; S. D. Stoichkov 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 98 KB