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

Strong normalization of barrecursive terms without using infinite terms

โœ Scribed by Bezem, Marc


Book ID
105433784
Publisher
Springer-Verlag
Year
1985
Weight
337 KB
Volume
25
Category
Article
ISSN
0003-9268

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Transformation of a PMD into an implicit
โœ G.F. Fragulis ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 682 KB

A simple method is given which uses the notions of finite and infinite Jordan pairs from operator theory in such a way to find the minimal realization of the inverse of a polynomial matrix. Specifically, given the finite and infinite Jordan pairs of a polynomial matrix A(s), we shall find a realizat