Ryszard Danecki Vis

*	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]