Anita Jindal

Publication Activity (10 Years)

Years Active: 1990-1992
Publications (10 Years): 0

Publications

Anita Jindal, Ross A. Overbeek, Waldo C. Kabat
Exploitation of Parallel Processing for Implementing High-Performance Deduction Systems. J. Autom. Reason. 8 (1) (1992)
Ralph Butler, Ian T. Foster, Anita Jindal, Ross A. Overbeek
A High-Performance Parallel Theorem Prover. CADE (1990)