Travelled to:
1 × USA
Collaborated with:
S.Amoroso E.Lieblein
Talks about:
framework (1) theori (1) machin (1) unifi (1) array (1) iter (1)
Person: Hisao Yamada
DBLP: Yamada:Hisao
Contributed to:
Wrote 1 papers:
- STOC-1969-AmorosoLY #array #formal method #framework
- A Unifying Framework for the Theory of Iterative Arrays of Machines (SA, EL, HY), pp. 259–269.