×

zbMATH — the first resource for mathematics

Found 2 Authors (Results 1–2)

Prasad Sistla, A.

Published as:   Prasad Sistla, A.; Sistla, A. Prasad
Documents: 30 Publications indexed (1985–2019)
Co-Authors: Gondi, Kalpana; Patel, Yogeshkumar
Main Fields: Computer science (68-XX)

Sistla, Aravinda Prasad

Published as:   Sistla, A. P.; Sistla, A. Prasad; Sistla, Aravinda Prasad
Documents: 42 Publications indexed (1983–2019)
Co-Authors: Emerson, Ernest Allen; Clarke, Edmund Melson jun.; Reif, John H.; ...
Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)