✦ LIBER ✦

An Extension of the Équivalence Calculus

✍ Scribed by Hugues Leblanc

Publisher: John Wiley and Sons
Year: 1961
Tongue: English
Weight: 90 KB
Volume: 7
Category: Article
ISSN: 0044-3050
DOI: 10.1002/malq.19610070704

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Selective Mu-Calculus and Formula-Based

Selective Mu-Calculus and Formula-Based Equivalence of Transition Systems

✍ Roberto Barbuti; Nicoletta De Francesco; Antonella Santone; Gigliola Vaglini 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 296 KB

In model checking for temporal logic, the correctness of a system with respect to a desired behavior is verified by checking whether a structure that models the system satisfies a formula describing the behavior. Most existing verification techniques are based on a representation of the system by me

The Calculus of Partial Predicates and I

The Calculus of Partial Predicates and Its Extension to Set Theory I

✍ Hao Wang 📂 Article 📅 1961 🏛 John Wiley and Sons 🌐 English ⚖ 368 KB 👁 1 views

An extension of the Regge formula

✍ S Mandelstam 📂 Article 📅 1962 🏛 Elsevier Science 🌐 English ⚖ 453 KB

An unusual case of renal calculus

✍ F. C. Pybus 📂 Article 📅 1917 🏛 John Wiley and Sons 🌐 English ⚖ 235 KB 👁 2 views

An Equivalence-Theoretic Equivalent of t

An Equivalence-Theoretic Equivalent of the Axiom of Choice

✍ M. Armbrust 📂 Article 📅 1986 🏛 John Wiley and Sons 🌐 English ⚖ 84 KB 👁 1 views

An extension of the flood pulse concept

✍ K. Tockner; F. Malard; J. V. Ward 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 527 KB