Propositional dynamic logic with recursive programs
Tinko Tinchev ; Dimiter Vakarelov
Banach Center Publications, Tome 21 (1988), p. 419-426 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1988-01-01
EUDML-ID : urn:eudml:doc:267839 
@article{bwmeta1.element.zamlynska-58eca8e6-ad1e-4092-b15b-511cdfa2f6df,
     author = {Tinko Tinchev and Dimiter Vakarelov},
     title = {Propositional dynamic logic with recursive programs},
     journal = {Banach Center Publications},
     volume = {21},
     year = {1988},
     pages = {419-426},
     zbl = {0759.03017},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-58eca8e6-ad1e-4092-b15b-511cdfa2f6df}
}

Tinko Tinchev; Dimiter Vakarelov. Propositional dynamic logic with recursive programs. Banach Center Publications, Tome 21 (1988) pp. 419-426. http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-58eca8e6-ad1e-4092-b15b-511cdfa2f6df/