Travelled to:4 × USA
Collaborated with:∅ A.R.Meyer A.K.Chandra J.Y.Halpern
Talks about:logic (3) distribut (1) proposit (1) knowledg (1) regular (1) program (1) process (1) complex (1) between (1) system (1)
Person: Rohit Parikh
DBLP: Parikh:Rohit
Contributed to:
1986
1981
19801980Wrote 4 papers:
- LICS-1986-Parikh #distributed
- Levels of Knowledge in Distributed Computing (RP), pp. 314–321.
- STOC-1981-ChandraHMP #equation #logic #process
- Equations between Regular Terms and an Application to Process Logic (AKC, JYH, ARM, RP), pp. 384–390.
- POPL-1980-Parikh #complexity #logic #modelling #source code
- Propositional Logics of Programs: Systems, Models, and Complexity (RP), pp. 186–192.
- STOC-1980-MeyerP #logic
- Definability in Dynamic Logic (ARM, RP), pp. 1–7.