𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Equivalency for Disconjugate Operators

✍ Scribed by Mariella Cecchi; Zuzana Došlá; Mauro Marini

Book ID
101386742
Publisher
John Wiley and Sons
Year
2001
Tongue
English
Weight
250 KB
Volume
227
Category
Article
ISSN
0025-584X

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Factorization of disconjugate higher-ord
Factorization of disconjugate higher-order Sturm-Liouville difference operators
✍ O. Dosˇlý 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 400 KB

Using a recently proved equivalence between disconjugacy of the 2nth-order difference equation tt v--'--O and solvability of the correeponding Riccati matrix difference equation, it is shown that the equation L(I/) = 0 is di~onjugate on a given interval if and only if the operator L admits the facto

Operational equivalence for interaction
Operational equivalence for interaction nets
✍ Maribel Fernández; Ian Mackie 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 255 KB

The notion of contextual (or operational) equivalence is fundamental in the theory of programming languages. By setting up a notion of bisimilarity, and showing that it coincides with contextual equivalence, one obtains a simple coinductive proof technique for showing that two programs are equivalen