A.L. Rastsvetaev
1 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
On monadic logic of recursive programs with parameters Opublikowano w: Bulletin of the Section of Logic 1989 / Tom 18 / Numer 2 / s. 57 - 611989CZYSTY TEKST
A.L. Rastsvetaev, On monadic logic of recursive programs with parameters, Bulletin of the Section of Logic, 1989 / Tom 18 / Numer 2, s. 57 - 61
BIBTEX@Article{ authors = " A.L. Rastsvetaev", title = "On monadic logic of recursive programs with parameters", journal = "Bulletin of the Section of Logic", issue = "1989 / Tom 18 / Numer 2", pages = "57 - 61" }