Laszlo Csirmaz
3 artykuły w 1 czasopismach
-
Nonstandard runs and program verification Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 2 / s. 68 - 741981CZYSTY TEKST
Laszlo Csirmaz, Nonstandard runs and program verification, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 2, s. 68 - 74
BIBTEX@Article{ authors = " Laszlo Csirmaz", title = "Nonstandard runs and program verification", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 2", pages = "68 - 74" }
-
Remarks on Floyd-Hoare derivability Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 3 / s. 131 - 1351980CZYSTY TEKST
Laszlo Csirmaz, Remarks on Floyd-Hoare derivability, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 3, s. 131 - 135
BIBTEX@Article{ authors = " Laszlo Csirmaz", title = "Remarks on Floyd-Hoare derivability", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 3", pages = "131 - 135" }
-
On definability in Peano arithmetic Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 3 / s. 148 - 1531979CZYSTY TEKST
Laszlo Csirmaz, On definability in Peano arithmetic, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 3, s. 148 - 153
BIBTEX@Article{ authors = " Laszlo Csirmaz", title = "On definability in Peano arithmetic", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 3", pages = "148 - 153" }
