✦ LIBER ✦

Program algebra with unit instruction operators

✍ Scribed by Alban Ponse

Book ID: 114414918
Publisher: Elsevier Science
Year: 2002
Tongue: English
Weight: 180 KB
Volume: 51
Category: Article
ISSN: 1567-8326
DOI: 10.1016/s1567-8326(02)00019-x

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Extending statecharts with process algeb

Extending statecharts with process algebra operators

✍ Marc Frappier; Frédéric Gervais; Régine Laleau; Benoît Fraikin; Richard St-Denis 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 334 KB

Boolean Algebra. A Self-Instructional Pr

Boolean Algebra. A Self-Instructional Programmed Manualby Federal Electric Corporation

✍ Review by: Ann M. Singleterry 📂 Article 📅 1967 🏛 Association for Symbolic Logic 🌐 English ⚖ 332 KB

Mutual derivability of operations in pro

Mutual derivability of operations in program algebras. II

✍ D. B. Bui; A. V. Mavlyanov 📂 Article 📅 1989 🏛 Springer US 🌐 English ⚖ 531 KB

Mutual derivability of operations in pro

Mutual derivability of operations in program algebras. I

✍ D. B. Bui; A. V. Mavlyanov 📂 Article 📅 1988 🏛 Springer US 🌐 English ⚖ 520 KB

Heyting Algebras with Operators

✍ Yasusi Hasimoto 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 183 KB

In this paper, we will give a general description of subdirectly irreducible Heyting algebras with operators under some weak conditions, which includes the finite case, the normal case and the case for Boolean algebras with diamond operator. This can be done by normalizing these operators. This answ

Derivable mappings at unit operator on n

Derivable mappings at unit operator on nest algebras

✍ Jun Zhu; Changping Xiong 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 169 KB