Tmima Koren

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1983

1 Tmima Koren, Amir Pnueli: There Exit Decidable Context Free Propositional Dynamic Logics. Logic of Programs 1983: 290-312

	1983
1		Tmima Koren, Amir Pnueli: There Exit Decidable Context Free Propositional Dynamic Logics. Logic of Programs 1983: 290-312

Coauthor Index

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page