𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Typed operational semantics for higher-order subtyping

✍ Scribed by Adriana Compagnoni; Healfdene Goguen

Book ID
114273370
Publisher
Elsevier Science
Year
2003
Tongue
English
Weight
437 KB
Volume
184
Category
Article
ISSN
0890-5401

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Lieb–Thirring inequalities for higher or
Lieb–Thirring inequalities for higher order differential operators
✍ Clemens Förster; Jörgen Östensson 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 201 KB

## Abstract We derive Lieb–Thirring inequalities for the Riesz means of eigenvalues of order __γ__ ≥ 3/4 for a fourth order operator in arbitrary dimensions. We also consider some extensions to polyharmonic operators, and to systems of such operators, in dimensions greater than one. For the critica

An inverse spectral theory of Gel'fand-L
An inverse spectral theory of Gel'fand-Levitan-type for higher order differential operators
✍ W. W. Zachary 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 408 KB

An inverse spectral theory is presented for certain linear ordinary differential operators of arbitrary even order n which generalizes the Gel'fand-Levitan theory for Stu~m-Liouville operators. It is proved that the coefficients in these operators are uniquely determined by n -1 distinct spectral ma