BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Parikh:Rohit

Contributed to:

LICS 19861986
STOC 19811981
POPL 19801980
STOC 19801980

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.