𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Erratum to: Approximate fixed points in abstract interpretation

✍ Scribed by Chris Hankin; Sebastian Hunt

Publisher
Elsevier Science
Year
1994
Tongue
English
Weight
46 KB
Volume
23
Category
Article
ISSN
0167-6423

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Explicit Fixed Points in Interpretabilit
Explicit Fixed Points in Interpretability Logic
✍ Dick Jongh; Albert Visser πŸ“‚ Article πŸ“… 1991 πŸ› Springer Netherlands 🌐 English βš– 496 KB

The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryfiski.