✦ LIBER ✦

Invariant functions and invariant relations: An alternative to invariant assertions

✍ Scribed by Lamia Labed Jilani; Olfa Mraihi; Asma Louhichi; Wided Ghardallou; Khaled Bsaies; Ali Mili

Book ID: 118480745
Publisher: Elsevier Science
Year: 2013
Tongue: English
Weight: 373 KB
Volume: 48
Category: Article
ISSN: 0747-7171
DOI: 10.1016/j.jsc.2012.04.001

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Invariant relations, invariant functions

Invariant relations, invariant functions, and loop functions

✍ Labed Jilani, Lamia; Louhichi, Asma; Mraihi, Olfa; Mili, Ali 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 326 KB

Inductive synthesis of invariant asserti

Inductive synthesis of invariant assertions and program functions

✍ V. S. Kostyrko; A. V. Bakulin 📂 Article 📅 1986 🏛 Springer US 🌐 English ⚖ 714 KB

A note on invariant relations for ambigu

A note on invariant relations for ambiguity and distance functions

✍ Stutt, C. 📂 Article 📅 1959 🏛 IEEE 🌐 English ⚖ 402 KB

An alternative approach to orthogonal gr

An alternative approach to orthogonal graph theoretical invariants

✍ Oswaldo Araujo; Daniel A. Morales 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 371 KB

In this work we show that the underlying structure of some graph theoretical invariants used to describe molecular structure, is the vector space Q(fi, 6) over the field Q of the rational numbers. On a<fi, 6) we define a symmetric bilinear form and then proceed to use the Gram-Schmidt orthogonalizat

An Introduction to Invariant Imbedding

✍ Bellman, R.; Wing, G. M.; Ueno, Sueo 📂 Article 📅 1976 🏛 Institute of Electrical and Electronics Engineers ⚖ 706 KB

An Introduction to Invariant Imbedding

✍ Bellman, R.; Wing, G. M.; Denman, E. D. 📂 Article 📅 1977 🏛 Institute of Electrical and Electronics Engineers ⚖ 259 KB