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

The discrimination theorem holds for combinatory weak reduction

โœ Scribed by R. Hindley


Publisher
Elsevier Science
Year
1979
Tongue
English
Weight
150 KB
Volume
8
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


The First Recursion Theorem for Iterativ
โœ D. Skordev ๐Ÿ“‚ Article ๐Ÿ“… 1979 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 400 KB

THE FIRST RECURSION THEOREM FOR ITERATIVE COMBINATORY SPACES by D. SKORDEV in Sofia (Bulgaria)

The Weak Approximation Theorem for Valua
โœ Ada Maria de Souza Doering; Yves Lequain ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 234 KB

1 We prove a Weak Approximation Theorem for valuations that are not necessarily independent. ลฝ . 2 We study the existence of intersections of finite families of valuation rings having a prescribed divisibility group and prescribed residue fields. แฎŠ 1999 Aca- demic Press

A reduction theorem for the McKay conjec
โœ I.M. Isaacs; Gunter Malle; Gabriel Navarro ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› Springer-Verlag ๐ŸŒ English โš– 730 KB