Travelled to:
1 × USA
Collaborated with:
S.Amoroso H.Yamada
Talks about:
framework (1) theori (1) machin (1) unifi (1) array (1) iter (1)
Person: Edward Lieblein
DBLP: Lieblein:Edward
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.