Ryszard Danecki

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1988

4 Ryszard Danecki: Multiple Propositional Dynamic Logic of Parallel Programs (Extended Abstract). MFCS 1988: 240-248

1984

3 Ryszard Danecki: Propositional Dynamic Logic with Strong Loop Predicate. MFCS 1984: 573-581

2 Ryszard Danecki: Nondeterministic Propositional Dynamic Logic with intersection is decidable. Symposium on Computation Theory 1984: 34-53

1979

1 Ryszard Danecki, Marek Karpinski: Decidability Results on Plane Automata Searching Mazes. FCT 1979: 84-91

	1988
4		Ryszard Danecki: Multiple Propositional Dynamic Logic of Parallel Programs (Extended Abstract). MFCS 1988: 240-248
	1984
3		Ryszard Danecki: Propositional Dynamic Logic with Strong Loop Predicate. MFCS 1984: 573-581
2		Ryszard Danecki: Nondeterministic Propositional Dynamic Logic with intersection is decidable. Symposium on Computation Theory 1984: 34-53
	1979
1		Ryszard Danecki, Marek Karpinski: Decidability Results on Plane Automata Searching Mazes. FCT 1979: 84-91

Coauthor Index

1 Marek Karpinski [1]

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team —

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