| * | 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 | |
| 1 | Marek Karpinski | [1] |