Jeanne Ferrante

1949

• The computational complexity of logical theories
• Portability and performance for parallel processing
• Portability and performance for parallel processing
• Computational techniques in tribology and material science at the atomic level
• Some upper and lower bounds on decision procedures in logic