✦ LIBER ✦

Entscheidungsproblem Reduced to the ∀ ∃ ∀ Case

✍ Scribed by A. S. Kahr, Edward F. Moore and Hao Wang

Book ID: 123656777
Publisher: National Academy of Sciences
Year: 1962
Tongue: English
Weight: 468 KB
Volume: 48
Category: Article
ISSN: 0027-8424
DOI: 10.2307/71207

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Entscheidungsproblem Reduced to the ∀∃∀

Entscheidungsproblem Reduced to the ∀∃∀ Caseby A. S. Kahr; Edward F. Moore; Hao Wang

✍ Review by: W. Ackermann 📂 Article 📅 1962 🏛 Association for Symbolic Logic 🌐 English ⚖ 89 KB

Correction to a Note on the Entscheidung

Correction to a Note on the Entscheidungsproblem

✍ Alonzo Church 📂 Article 📅 1936 🏛 Association for Symbolic Logic 🌐 English ⚖ 249 KB

On Computable Numbers, with an Applicati

On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction

✍ Turing, A. M. 📂 Article 📅 1938 🏛 Oxford University Press 🌐 English ⚖ 155 KB

On Computable Numbers, with an Applicati

On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction

✍ Turing, A. M. 📂 Article 📅 1938 🏛 Oxford University Press 🌐 English ⚖ 155 KB

Reducing vulnerability to drought: The c

Reducing vulnerability to drought: The case of Seguenega

✍ Robert F. Gorman; Mel Foote 📂 Article 📅 1985 🏛 John Wiley and Sons 🌐 English ⚖ 220 KB

Groundwater flow in anisotropic aquifers

Groundwater flow in anisotropic aquifers reduced to the isotropic case

✍ Valerio Faraoni 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 90 KB

## Abstract By applying the technique of conformal transformation of the metric, widely used in general relativity and cosmology, the analysis of groundwater flow in an anisotropic aquifer (in which the hydraulic conductivity is a tensor) is reduced to the case of an isotropic one. This reduction i