dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Rohit Parikh (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRohit Parikh, Ashok K. Chandra, Joseph Y. Halpern, Albert R. Meyer: Equations Between Regular Terms and an Application to Process Logic. SIAM J. Comput. 14(4): 935-942 (1985)
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAshok K. Chandra, Joseph Y. Halpern, Albert R. Meyer, Rohit Parikh: Equations between Regular Terms and an Application to Process Logic STOC 1981: 384-390
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert R. Meyer, Rohit Parikh: Definability in Dynamic Logic. J. Comput. Syst. Sci. 23(2): 279-298 (1981)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlbert R. Meyer, Rohit Parikh: Definability in Dynamic Logic STOC 1980: 1-7

Selection of 4 from 68 records - Rohit Parikh has 32 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page