Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Yuta Imagawa"'
Publikováno v:
Mathematical Structures in Computer Science. 32:1015-1027
This paper gives a new proof of confluence for Carraro and Guerrieri’s call-by-value lambda calculus λvσ with permutation rules. We adapt the compositional Z theorem to λvσ.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::33666f23f989520998a422b94144eecc
https://doi.org/10.1017/s0960129522000408
https://doi.org/10.1017/s0960129522000408
Publikováno v:
SPIE Proceedings.
New water splitting solid solution photocatalysts with the composition of Gd 1-x Bi x VO 4 (x = 0, 0.3, 0.5, 0.7, 0.8, 0.9, 0.95, 1.0) were synthesized by a solid-state reaction. Gd 0.3 Bi 0.7 VO 4 was found as novel photocatalyst with both O 2 evolu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::357dff6c08659d53ea990a11cd560abf
https://doi.org/10.1117/12.794652
https://doi.org/10.1117/12.794652