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
[2]
Hilfe
Suche: Author="Parikh, R."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Equations between regular terms and an application to process logic
R. Parikh
,
A. Chandra
,
J. Halpern
,
A. Meyer
SIAM Journal on Computing
14
(4), 1985, November, pp. 935-942
Propositional game logic
R. Parikh
Proceedings of the 24th Annual IEEE Symposium on Foundations of Computer Science, FOCS'83 (Tucson, AZ, November 7-9, 1983)
, 1983, pp. 195-200
Process logic: expressiveness, decidability, completeness
D. Harel
,
D. Kozen
,
R. Parikh
Journal of Computer and System Sciences
25
(2), 1982, October, pp. 144-170
Equations between regular terms and an application to process logic
A.K. Chandra
,
J. Halpern
,
A. Meyer
,
R. Parikh
Proceedings of the 13th Annual ACM Symposium on Theory of Computing, STOC'81 (Milwaukee, WI, May 11-13, 1981)
, 1981, pp. 384-390
Pumping lemmas for regular sets
A. Ehrenfeucht
,
R. Parikh
,
G. Rozenberg
SIAM Journal on Computing
10
(3), 1981, August, pp. 536-541
An elementary proof of the completeness of PDL (Note)
D. Kozen
,
R. Parikh
Theoretical Computer Science
14
, 1981, pp. 113-118
Definability in dynamic logic
A.R. Meyer
,
R. Parikh
Journal of Computer and System Sciences
23
(2), 1981, October, pp. 279-298
Process logic: Expressiveness, decidability, completeness
D. Harel
,
D. Kozen
,
R. Parikh
Proceedings of the 21st Annual IEEE Symposium on Foundations of Computer Science, FOCS'80 (Syracuse, NY, October 13-15, 1980)
, 1980, pp. 129-142
Definability in dynamic logic
A.R. Meyer
,
R. Parikh
Proceedings of the 12th Annual ACM Symposium on Theory of Computing, STOC'80 (Los Angeles, CA, April 28-30, 1980)
, 1980, pp. 1-7
A decidability result for a second order process logic
R. Parikh
Proceedings of the 19th Annual IEEE Symposium on Foundations of Computer Science, FOCS'78 (Ann Arbor, MI, October 16-18, 1978)
, 1978, pp. 177-183