Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA
Marisa Venturini-Zilli
Banach Center Publications, Tome 21 (1988), p. 427-436 / Harvested from The Polish Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1988-01-01
EUDML-ID : urn:eudml:doc:267878 
@article{bwmeta1.element.zamlynska-18e20c2f-10ea-48da-b9ce-67e938c1ab3d,
     author = {Marisa Venturini-Zilli},
     title = {Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA},
     journal = {Banach Center Publications},
     volume = {21},
     year = {1988},
     pages = {427-436},
     zbl = {0759.03018},
     language = {en},
     url = {http://dml.mathdoc.fr/item/bwmeta1.element.zamlynska-18e20c2f-10ea-48da-b9ce-67e938c1ab3d}
}

Marisa Venturini-Zilli. Countable nondeterminism and logics of programs: fair-wellfoundedness of while-programs with nondeterministic assignments in the logic ALNA. Banach Center Publications, Tome 21 (1988) pp. 427-436. http://gdmltest.u-ga.fr/item/bwmeta1.element.zamlynska-18e20c2f-10ea-48da-b9ce-67e938c1ab3d/