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

Fifth generation fixed-point DSP


Publisher
Elsevier Science
Year
1989
Tongue
English
Weight
198 KB
Volume
13
Category
Article
ISSN
0141-9331

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


TI 16-bit, fixed-point DSPs
๐Ÿ“‚ Article ๐Ÿ“… 1995 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 95 KB
Generic generalized Rosser fixed points
โœ Dick H. J. Jongh; Franco Montagna ๐Ÿ“‚ Article ๐Ÿ“… 1987 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 682 KB

To the standard propositional modal system of provability logic constants arc added to account for the arithmetical fixed points introduced by Bernardi. -Montagna in [5]. With that interpretation in mind, a system LR of modal propositional logic is axiomatized, a modal completeness theorem is estab

96-bit floating-point DSP
๐Ÿ“‚ Article ๐Ÿ“… 1989 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 86 KB