F.A. Doria

4 artykuły w 1 czasopismach

TYTUŁ ARTYKUŁU ROK AUTORZY 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 - 40

2004

N.C.A. da Costa F.A. Doria

CZYSTY TEKST
N.C.A. da Costa, F.A. Doria, On Set Theory as a Foundation for Computer Science, Bulletin of the Section of Logic, 2004 / Tom 33 / Numer 1, s. 33 - 40

BIBTEX
@Article{ authors = " N.C.A. da Costa, F.A. Doria", title = "On Set Theory as a Foundation for Computer Science", journal = "Bulletin of the Section of Logic", issue = "2004 / Tom 33 / Numer 1", pages = "33 - 40" }
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 - 63

1995

Newton C.A. da Costa F.A. Doria Marcelo Tsuji

CZYSTY TEKST
Newton C.A. da Costa, F.A. Doria, Marcelo Tsuji, The undecidability of formal definitions in the theory of finite groups, Bulletin of the Section of Logic, 1995 / Tom 24 / Numer 2, s. 56 - 63

BIBTEX
@Article{ authors = " Newton C.A. da Costa, F.A. Doria, Marcelo Tsuji", title = "The undecidability of formal definitions in the theory of finite groups", journal = "Bulletin of the Section of Logic", issue = "1995 / Tom 24 / Numer 2", pages = "56 - 63" }
On the existence of very difficult satisfiability problem Opublikowano w: Bulletin of the Section of Logic 1992 / Tom 21 / Numer 4 / s. 122 - 133

1992

Newton C.A. da Costa F.A. Doria

CZYSTY TEKST
Newton C.A. da Costa, F.A. Doria, On the existence of very difficult satisfiability problem, Bulletin of the Section of Logic, 1992 / Tom 21 / Numer 4, s. 122 - 133

BIBTEX
@Article{ authors = " Newton C.A. da Costa, F.A. Doria", title = "On the existence of very difficult satisfiability problem", journal = "Bulletin of the Section of Logic", issue = "1992 / Tom 21 / Numer 4", pages = "122 - 133" }
Incomplete satisfiability problems Opublikowano w: Bulletin of the Section of Logic 1993 / Tom 22 / Numer 4 / s. 150 - 157

1993

Newton C.A. da Costa F.A. Doria

CZYSTY TEKST
Newton C.A. da Costa, F.A. Doria, Incomplete satisfiability problems, Bulletin of the Section of Logic, 1993 / Tom 22 / Numer 4, s. 150 - 157

BIBTEX
@Article{ authors = " Newton C.A. da Costa, F.A. Doria", title = "Incomplete satisfiability problems", journal = "Bulletin of the Section of Logic", issue = "1993 / Tom 22 / Numer 4", pages = "150 - 157" }