TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
An Elementary Proof of Strong Normalization for Atomic F Opublikowano w: Bulletin of the Section of Logic 2016 / Tom 45 / Numer 1 / s. 1 - 162016CZYSTY TEKST
Fernando Ferreira, Gilda Ferreira, An Elementary Proof of Strong Normalization for Atomic F, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 1, s. 1 - 16
BIBTEX@Article{ authors = " Fernando Ferreira, Gilda Ferreira", title = "An Elementary Proof of Strong Normalization for Atomic F", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 1", pages = "1 - 16" }
