Ryszard Danecki

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1988

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

1984

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

1979

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

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

Coauthor Index

1 Marek Karpinski [1]