Login / Signup
E. J. Farkas
Publication Activity (10 Years)
Years Active: 1988-1989
Publications (10 Years): 0
</>
Publications
</>
Manfred E. Szabo
,
E. J. Farkas
A Probabilistic Analysis of Loop Programs.
Comput. Lang.
14 (2) (1989)
E. J. Farkas
A faithful embedding of parallel computations in star-finite models.
Stud Logica
47 (3) (1988)
E. J. Farkas
,
Manfred E. Szabo
On the programs-as-formulas interpretation of parallel programs in peano arithmetic.
Ann. Pure Appl. Log.
37 (2) (1988)