✦ LIBER ✦

On the Calculus of Equivalent Statements. (Seventh Paper.)

✍ Scribed by MacColl, H.

Book ID: 120103952
Publisher: Oxford University Press
Year: 1897
Tongue: English
Weight: 292 KB
Volume: s1-29
Category: Article
ISSN: 0024-6115
DOI: 10.1112/plms/s1-29.1.98

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The Calculus of Equivalent Statements (S

The Calculus of Equivalent Statements (Second Paper)

✍ McColl, H. 📂 Article 📅 1877 🏛 Oxford University Press 🌐 English ⚖ 303 KB

The Calculus of Equivalent Statements. (

The Calculus of Equivalent Statements. (Fifth Paper.)

✍ MacColl, H. 📂 Article 📅 1896 🏛 Oxford University Press 🌐 English ⚖ 775 KB

The Calculus of Equivalent Statements (T

The Calculus of Equivalent Statements (Third Paper)

✍ McColl, H. 📂 Article 📅 1878 🏛 Oxford University Press 🌐 English ⚖ 405 KB

The Calculus of Equivalent Statements. (

The Calculus of Equivalent Statements. (Fourth Paper.)

✍ McColl, H. 📂 Article 📅 1879 🏛 Oxford University Press 🌐 English ⚖ 294 KB

The Calculus of Equivalent Statements an

The Calculus of Equivalent Statements and Integration Limits

✍ McColl, H. 📂 Article 📅 1877 🏛 Oxford University Press 🌐 English ⚖ 351 KB

On the decidability of process equivalen

On the decidability of process equivalences for the π-calculus

✍ Mads Dam 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 994 KB

We present general results for showing process equivalences applied to the finite control fragment of the z-calculus decidable. Firstly, a Finite Reachability Theorem states that up to finite name spaces and up to a static normalisation procedure, the set of reachable agent expressions is finite. Se