✦ LIBER ✦

On the Power of Higher-Order Algebraic Specification Methods

✍ Scribed by P. Kosiuczenko; K. Meinke

Book ID: 112252200
Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 676 KB
Volume: 124
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.1996.0007

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On higher-order coherent states of the W

On higher-order coherent states of the Weyl algebra

✍ Reinhard Honegger; Alfred Rieckers 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 209 KB

It is shown that for classical, analytical states of the Weyl algebra, the quantum optmal coherence condition of second order implies those of nth order for all n/> 2.

On the higher-order stroboscopic method

✍ Ernst A. Roth 📂 Article 📅 1979 🏛 Springer 🌐 English ⚖ 400 KB

The completeness of the algebraic specif

The completeness of the algebraic specification methods for computable data types

✍ J.A. Bergstra; J.V. Tucker 📂 Article 📅 1982 🏛 Elsevier Science ⚖ 715 KB

Some results on fast algebraic attacks a

Some results on fast algebraic attacks and higher-order non-linearities

✍ Wang, Q.; Johansson, T.; Kan, H. 📂 Article 📅 2012 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 147 KB

On the Specification of Higher Dimension

On the Specification of Higher Dimensional Automata

✍ Richard Buckland; Michael Johnson; Dominic Verity 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 873 KB

On the power method in max algebra

✍ Ludwig Elsner; P.van den Driessche 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 140 KB

The eigenvalue problem for an irreducible nonnegative matrix e ij in the max algebra system is e x kx, where e x i max j ij x j and k turns out to be the maximum circuit geometric mean, le. A power method algorithm is given to compute le and eigenvector x. The algorithm is developed by using results