✦ LIBER ✦

Remarks on soundness of proofs

✍ Scribed by Burmester, M.V.D.; Desmedt, Y.G.

Book ID: 111935510
Publisher: The Institution of Electrical Engineers
Year: 1989
Tongue: English
Weight: 389 KB
Volume: 25
Category: Article
ISSN: 0013-5194
DOI: 10.1049/el:19891013

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some remarks on lengths of propositional

Some remarks on lengths of propositional proofs

✍ Samuel R. Buss 📂 Article 📅 1995 🏛 Springer 🌐 English ⚖ 368 KB

Remarks on formal languages for writing

Remarks on formal languages for writing proofs

✍ K. P. Vershinin 📂 Article 📅 1974 🏛 Springer US 🌐 English ⚖ 322 KB

Remarks on the Incompleteness Proof

✍ Gerold Stahl 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 447 KB

by GEROLD S r a m in Santiago-Cldc 111 tlic following two. basic ways of dcvclopping the incoinpletcncss proof will bo (A) Two laugungcs of diffcrcnt lcvcls arc uscd jointly t o provc incomplctcnoss. (B) The proof is dcvcloppcd' cxclusivcly in one languagc (number-thcorctic language).

Remarks on proofs of conservation laws f

Remarks on proofs of conservation laws for nonlinear Schrödinger equations

✍ T. Ozawa 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 198 KB

Remarks on formalized proof and conseque

Remarks on formalized proof and consequence

✍ L. Gumański 📂 Article 📅 1969 🏛 Springer Netherlands 🌐 English ⚖ 36 KB

On a conjecture of Aris: Proof and remar

On a conjecture of Aris: Proof and remarks

✍ Dan Luss; Neal R. Amundson 📂 Article 📅 1967 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 428 KB 👁 2 views