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

The equivalence of bar recursion and open recursion

โœ Scribed by Powell, Thomas

Book ID
125830489
Publisher
Elsevier Science
Year
2014
Tongue
English
Weight
575 KB
Volume
165
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

On Spector's bar recursion
On Spector's bar recursion
โœ Paulo Oliva; Thomas Powell ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 162 KB
The tree equivalence of linear recursion
The tree equivalence of linear recursion schemes
โœ V. Sabelfeld ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 206 KB

In the paper, a complete system of transformation rules preserving the tree equivalence and a polynomial-time algorithm deciding the tree equivalence of linear polyadic recursion schemes are proposed. The algorithm is formulated as a sequential transformation process which brings together the scheme

On Bar Recursion of Types 0 and 1
On Bar Recursion of Types 0 and 1
โœ Helmut Schwichtenberg ๐Ÿ“‚ Article ๐Ÿ“… 1979 ๐Ÿ› Association for Symbolic Logic ๐ŸŒ English โš– 151 KB