Login / Signup
Ryszard Danecki
Publication Activity (10 Years)
Years Active: 1979-1988
Publications (10 Years): 0
</>
Publications
</>
Ryszard Danecki
Multiple Propositional Dynamic Logic of Parallel Programs (Extended Abstract).
MFCS
(1988)
Ryszard Danecki
Propositional Dynamic Logic with Strong Loop Predicate.
MFCS
(1984)
Ryszard Danecki
Nondeterministic Propositional Dynamic Logic with intersection is decidable.
Symposium on Computation Theory
(1984)
Ryszard Danecki
,
Marek Karpinski
Decidability Results on Plane Automata Searching Mazes.
FCT
(1979)