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

Recursive linear orders with recursive successivities

โœ Scribed by Michael Moses


Publisher
Elsevier Science
Year
1984
Tongue
English
Weight
814 KB
Volume
27
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Relations Intrinsically Recursive in Lin
โœ Michael Moses ๐Ÿ“‚ Article ๐Ÿ“… 1986 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 357 KB

6 re1ut;m on 'u, then (1) impEies ( 2 ) : \* ) These results \\-ere presented at the Conference on Iiogic imd Computation in 1984, held at :30\* JIonash University, llelbo~trnc, Australia.

On recursive path ordering
โœ M.S. Krishnamoorthy; P. Narendran ๐Ÿ“‚ Article ๐Ÿ“… 1985 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 309 KB