๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Dual unbounded nondeterminacy, recursion, and fixpoints

โœ Scribed by Joseph M. Morris; Malcolm Tyrrell

Publisher
Springer-Verlag
Year
2007
Tongue
English
Weight
270 KB
Volume
44
Category
Article
ISSN
0001-5903

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Terms with unbounded demonic and angelic
Terms with unbounded demonic and angelic nondeterminacy
โœ Joseph M. Morris; Malcolm Tyrrell ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 305 KB

We show how to introduce demonic and angelic nondeterminacy into the term language of each type in typical programming or specification language. For each type we introduce (binary infix) operators and on terms of the type, corresponding to demonic and angelic nondeterminacy, respectively. We genera

Recursive evaluation of interaction forc
Recursive evaluation of interaction forces and property matrices from unit-impulse response functions of unbounded medium based on balancing approximation
โœ Paronesso, Antonio; Wolf, John P. ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 122 KB ๐Ÿ‘ 1 views

Starting from the unit-impulse response matrix of the unbounded medium, a discrete-time formulation permitting the recursive evaluation of the interaction forces and a continuous-time formulation yielding property matrices corresponding to a model with a finite number of degrees of freedom are discu