E. J. Farkas

According to our database, E. J. Farkas authored at least 3 papers between 1988 and 1989.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1989

A Probabilistic Analysis of Loop Programs.

Manfred E. Szabo, E. J. Farkas

Comput. Lang., 1989

1988

A faithful embedding of parallel computations in star-finite models.

E. J. Farkas

Stud Logica, 1988

On the programs-as-formulas interpretation of parallel programs in peano arithmetic.

E. J. Farkas, Manfred E. Szabo

Ann. Pure Appl. Log., 1988