✦ LIBER ✦

A variant of Herbrand's theorem for formulas in prenex form

✍ Scribed by A. V. Lyaletskii

Publisher: Springer US
Year: 1981
Tongue: English
Weight: 677 KB
Volume: 17
Category: Article
ISSN: 1573-8337
DOI: 10.1007/bf01307049

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A form of herbrand's theorem

✍ Theodore Hailperin 📂 Article 📅 1969 🏛 John Wiley and Sons 🌐 English ⚖ 957 KB

A variant of Karmarkar's linear programm

A variant of Karmarkar's linear programming algorithm for problems in standard form

✍ D. M. Gay 📂 Article 📅 1988 🏛 Springer-Verlag 🌐 English ⚖ 21 KB

A simple form of Bartlett's formula for

A simple form of Bartlett's formula for autoregressive processes

✍ Rolando Cavazos-Cadena 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 601 KB

A new form of Green's theorem in the pla

A new form of Green's theorem in the plane

✍ R.R London 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 566 KB

Multiple neoplasms in two siblings with

Multiple neoplasms in two siblings with a variant form of Fanconi's anemia

✍ Gregory Sarna; Peter Tomasulo; Michael J. Lotz; Joseph F. Bubinak; N. Raphael Sh 📂 Article 📅 1975 🏛 John Wiley and Sons 🌐 English ⚖ 477 KB

Two siblings with a variant form of Fanconi's anemia developed multiple neoplasms after prolonged survival and treatment with androgens. One of the siblings developed two separate oral squamous cell carcinomata, and the other developed acute leukemia and hepatoma. Androgens may have had a carcinogen

Applications of the petersson formula fo

Applications of the petersson formula for a bilinear form in fourier coefficients of cusp forms

✍ O. M. Fomenko 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 668 KB