✦ LIBER ✦

Short propositional formulas represent nondeterministic computations

✍ Scribed by Stephen A. Cook

Book ID: 113163269
Publisher: Elsevier Science
Year: 1988
Tongue: English
Weight: 203 KB
Volume: 26
Category: Article
ISSN: 0020-0190
DOI: 10.1016/0020-0190(88)90152-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Verification of conversion formulas for

Verification of conversion formulas for computing representative wave heights

✍ Winyu Rattanapitikon 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 198 KB

Determining lower and upper bounds on pr

Determining lower and upper bounds on probabilities of atomic propositions in sets of logical formulas represented by digraphs

✍ K. A. Andersen; J. N. Hooker 📂 Article 📅 1996 🏛 Springer US 🌐 English ⚖ 756 KB

The computational complexity of satisfia

The computational complexity of satisfiability of temporal Horn formulas in propositional linear-time temporal logic

✍ Cheng-Chia Chen; I-Peng Lin 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 627 KB

Comparison of two computational formulas

Comparison of two computational formulas for a WAIS-R seven subtest short form

✍ Grant L. Iverson; Bill Myers; Russell L. Adams 📂 Article 📅 1997 🏛 John Wiley and Sons 🌐 English ⚖ 65 KB 👁 3 views

Several validity studies for a seven subtest WAIS-R short form have been conducted with patients from different populations as participants. All of these studies demonstrated high correlations between the short form IQ estimates and the actual VIQs, PIQs, and FSIQs (i.e., .90 to .98). In general, th

Two formulas for computation of the area

Two formulas for computation of the area under the curve represent measures of total hormone concentration versus time-dependent change

✍ Jens C. Pruessner; Clemens Kirschbaum; Gunther Meinlschmid; Dirk H Hellhammer 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 128 KB

Letter to the Editor: Other formulas for

Letter to the Editor: Other formulas for computation of the area under the curve represent additional hormone concentration measures: Response to the Letter to the Editor from Jeffrey E. Grice and Richard V. Jackson

✍ Jens C. Pruessner; Clemens Kirschbaum; Gunther Meinlschmidt; Dirk H. Hellhammer 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 41 KB