Christian J. Renteria
2 artykuły w 1 czasopismach
-
NUL: Natural Deduction for Ultrafilter Logic Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 4 / s. 191 - 1992003CZYSTY TEKST
Edward Hermann Haeusler, Christian J. Renteria, Paulo A.S. Veloso, NUL: Natural Deduction for Ultrafilter Logic, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 4, s. 191 - 199
BIBTEX@Article{ authors = " Edward Hermann Haeusler, Christian J. Renteria, Paulo A.S. Veloso", title = "NUL: Natural Deduction for Ultrafilter Logic", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 4", pages = "191 - 199" }
-
A Natural Deduction System for CTL Opublikowano w: Bulletin of the Section of Logic 2002 / Tom 31 / Numer 4 / s. 231 - 2402002CZYSTY TEKST
Edward Hermann Haeusler, Christian J. Renteria, A Natural Deduction System for CTL, Bulletin of the Section of Logic, 2002 / Tom 31 / Numer 4, s. 231 - 240
BIBTEX@Article{ authors = " Edward Hermann Haeusler, Christian J. Renteria", title = "A Natural Deduction System for CTL", journal = "Bulletin of the Section of Logic", issue = "2002 / Tom 31 / Numer 4", pages = "231 - 240" }
