Some Results on Propositional Dynamic Logic with Fixed Points - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Igor Rents, Nikolay V. Shilov. Some Results on Propositional Dynamic Logic with Fixed Points. In Sergei I. Adian, Anil Nerode, editors, Logical Foundations of Computer Science, 4th International Symposium, LFCS 97, Yaroslavl, Russia, July 6-12, 1997, Proceedings. Volume 1234 of Lecture Notes in Computer Science, pages 323-332, Springer, 1997.

The following publications are possibly variants of this publication:

Propositional Dynamic Logic with Fixed Points: Algorithmic Tools for Verification of Finite State MachinesNikolay V. Shilov. lfcs 1992: 452-458

runs on WebDSL