Laszlo Csirmaz
3 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Nonstandard runs and program verification Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 2 / s. 68 - 74ROK: 1981CZYSTY TEKSTBIBTEX
-
Remarks on Floyd-Hoare derivability Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 3 / s. 131 - 135ROK: 1980CZYSTY TEKSTBIBTEX
-
On definability in Peano arithmetic Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / s. 148 - 153ROK: 1979CZYSTY TEKSTBIBTEX
