Unique normal form property of Higher-Order Rewriting
スポンサーリンク
概要
- 論文の詳細を見る
Within the framework of Higher-Order Rewriting Systems proposed by van Oostrom, a sufficient condition for the unique normal form property is presented. This requires neither left-linearity nor termination of the system.
- Springerの論文
Springer | 論文
- Comparisons of germination traits of alpine plants between fellfield and snowbed habitats
- Photoreceptor Images of Normal Eyes and of Eyes with Macular Dystrophy Obtained In Vivo with an Adaptive Optics Fundus Camera
- Effect of Electrical Stimulation on IGF-1 Transcription by L-Type Calcium Channels in Cultured Retinal Muller Cells
- In Vivo Measurements of Cone Photoreceptor Spacing in Myopic Eyes from Images Obtained by an Adaptive Optics Fundus Camera
- Optical Quality of the Eye Degraded by Time-Varying Wavefront Aberrations with Tear Film Dynamics