✦ LIBER ✦

Appendix on Derivation of Formulae

✍ Scribed by J. E. Reeve

Book ID: 125076293
Publisher: John Wiley and Sons
Year: 1959
Tongue: English
Weight: 198 KB
Volume: 58
Category: Article
ISSN: 0028-646X
DOI: 10.2307/2429413

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

J. Warren Wilson APPENDIX ON DERIVATION

J. Warren Wilson APPENDIX ON DERIVATION OF FORMULAE

✍ J. E. REEVE 📂 Article 📅 1959 🏛 John Wiley and Sons 🌐 English ⚖ 782 KB

Derivation of Characteristic Formulae

✍ Markus Müller-Olm 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 694 KB

This paper shows how modal mu-calculus formulae characterizing nite-state processes up to strong or weak bisimulation can be derived directly from the well-known greatest xpoint c haracterizations of the bisimulation relations. Our derivation simpli es earlier proofs for the strong bisimulation case

On a derivation of Runge‐Kutta formulae

✍ Coleman, J. P. 📂 Article 📅 1976 🏛 Taylor and Francis Group 🌐 English ⚖ 133 KB

Automated derivation of structural formu

Automated derivation of structural formulae

✍ J.D. Renton 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 756 KB

On the derivation of integrated reflecte

On the derivation of integrated reflected energy formulae

✍ Kalman, Z. H. 📂 Article 📅 1979 🏛 International Union of Crystallography ⚖ 819 KB

A DERIVATION OF THE LORENTZ FORMULAE

✍ WHITROW, G. J. 📂 Article 📅 1933 🏛 Oxford University Press 🌐 English ⚖ 471 KB