Ryszard Danecki

According to our database¹, Ryszard Danecki authored at least 4 papers between 1979 and 1988.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1988

Multiple Propositional Dynamic Logic of Parallel Programs (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1988, 1988

1984

Nondeterministic Propositional Dynamic Logic with intersection is decidable.

[BibT_eX]

[DOI]

Proceedings of the Computation Theory, 1984

Propositional Dynamic Logic with Strong Loop Predicate.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 1984, 1984

1979

Decidability Results on Plane Automata Searching Mazes.

[BibT_eX]

Proceedings of the Fundamentals of Computation Theory, 1979