F.A. Doria
4 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
On Set Theory as a Foundation for Computer Science Opublikowano w: Bulletin of the Section of Logic 2004 / Tom 33 / Numer 1 / s. 33 - 40ROK: 2004CZYSTY TEKSTBIBTEX
-
The undecidability of formal definitions in the theory of finite groups Opublikowano w: Bulletin of the Section of Logic 1995 / Tom 24 / Numer 2 / s. 56 - 63ROK: 1995CZYSTY TEKSTBIBTEX
-
On the existence of very difficult satisfiability problem Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 4 / s. 122 - 133ROK: 1992CZYSTY TEKSTBIBTEX
-
Incomplete satisfiability problems Opublikowano w: Bulletin of the Section of Logic 1993 / Tom 22 / Numer 4 / s. 150 - 157ROK: 1993CZYSTY TEKSTBIBTEX
