Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Parikh, Rohit"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A logical study of distributed transition systems
Kamal Lodaya
,
Rohit Parikh
,
R. Ramanujam
,
P.S. Thiagarajan
Information and Computation
119
(1), 1995, pp. 91-118
Logical omniscience
Rohit Parikh
Lecture Notes in Computer Science
960
, 1995, pp. 22-29
Some recent applications of knowledge
Rohit Parikh
Lecture Notes in Computer Science
287
, 1987, pp. 528-539
Logics of knowledge, games and dynamic logic
Rohit Parikh
Lecture Notes in Computer Science
181
, 1984, pp. 202-222
Some applications of topology to program semantics
Rohit Parikh
Math. Systems Theory
16
, 1983, pp. 111-131
Models for programs
Rohit Parikh
Proceedings of the 1st Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS'1981 (Bangalore, India, December 11-12, 1981)
, 1981, pp. 109-120
Propositional dynamic logics of programs: a survey
Rohit Parikh
Technical Report (MIT/LCS/TM-191), 1981, January
The completeness of propositional dynamic logic
Rohit Parikh
Lecture Notes in Computer Science
64
, 1978, pp. 403-415
On context-free languages
Rohit J. Parikh
Journal of the ACM
13
, 1966, pp. 570-581